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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
Morning Session IIMentoring Workshop at Mentoring
10:30
30m
Talk
How to Give an Effective Talk
Mentoring Workshop
Ajitha Rajan University of Edinburgh
11:00
30m
Talk
Navigating through the academic jungle: tips, tricks & traps
Mentoring Workshop
Marielle Stoelinga University of Twente and Radboud University, Nijmegen
11:30
30m
Talk
Push, Pull, Partner - A Few Models for Industrial Research
Mentoring Workshop
Thomas Ball Microsoft Research