ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 10:30 - 11:00 at Mentoring - Morning Session II

I am a Lecturer (or Asst. Professor in American terms) and Chancellor’s Fellow at the School of Informatics in the University of Edinburgh (since December 2012). Previously, I was a post-doc at Oxford University, Computer Science Department and at Laboratoire d’Informatique de Grenoble (LIG) at Grenoble, France. I graduated with a PhD in Computer Science from the University of Minnesota in Aug 2009. My PhD advisor is Prof. Mats Heimdahl.

My research is in the field of software engineering and strives to address challenges in software validation and verification. I am especially interested in: Machine learning applied to the test oracle problem - Automatically classifying test executions as pass/fail. Defining quality metrics for GPU programs. I am interested in coverage metrics for code, design, and requirements (functional, non-functional, security); Automated test case generation and execution for blockchain applications and GPU programs; Optimising energy consumed by software. We investigated the energy consumed by software design patterns and proposed compiler optimisations for a couple fo the patterns in recent work; Economic models for incremental software and software on the cloud.

Sun 7 Apr

etaps-2019-ETAPS-Mentoring-Workshop
10:30 - 12:00: Mentoring Workshop - Morning Session II at Mentoring
etaps-2019-ETAPS-Mentoring-Workshop10:30 - 11:00
Talk
Ajitha RajanUniversity of Edinburgh
etaps-2019-ETAPS-Mentoring-Workshop11:00 - 11:30
Talk
Marielle StoelingaUniversity of Twente and Radboud University, Nijmegen
etaps-2019-ETAPS-Mentoring-Workshop11:30 - 12:00
Talk
Thomas BallMicrosoft Research

I am a Lecturer (or Asst. Professor in American terms) and Chancellor’s Fellow at the School of Informatics in the University of Edinburgh (since December 2012). Previously, I was a post-doc at Oxford University, Computer Science Department and at Laboratoire d’Informatique de Grenoble (LIG) at Grenoble, France. I graduated with a PhD in Computer Science from the University of Minnesota in Aug 2009. My PhD advisor is Prof. Mats Heimdahl.

My research is in the field of software engineering and strives to address challenges in software validation and verification. I am especially interested in: Machine learning applied to the test oracle problem - Automatically classifying test executions as pass/fail. Defining quality metrics for GPU programs. I am interested in coverage metrics for code, design, and requirements (functional, non-functional, security); Automated test case generation and execution for blockchain applications and GPU programs; Optimising energy consumed by software. We investigated the energy consumed by software design patterns and proposed compiler optimisations for a couple fo the patterns in recent work; Economic models for incremental software and software on the cloud.