About Me

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 2008. My PhD advisor is Prof. Mats Heimdahl.

My Research

My research is in the field of software engineering and strives to address challenges in software validation and verification. I am especially interested in

  • Defining quality metrics for cloud applications and GPU programs. I am interested in coverage metrics for code, design, and requirements (functional, non-functional, security).
  • Automated test case generation, reduction and execution. My recent research focuses on executing test cases on GPUs.
  • 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.

I am looking for PhD students. Research topics include,

  • Metrics for concurrent program analysis.
  • Testing GPU programs - Automated test case generation, coverage metrics.
  • Testing Cloud applications - Security testing, and Performance testing. I am also interested in defining performance models for Cloud applications.
  • Compiler optimisations for reducing software energy consumption
  • Cost models and adequacy metrics for regression testing and cloud testing.
Fully funded PhD positions are available for UK/EU students. Exceptional overseas students will also be considered.
Please apply before 24th March 2017 to be eligible for full funding.
Fully funded PhD studentships are also available through the EPSRC funded Centre for Doctoral Training in Pervasive Parallelism.


  • 4/9/16: ValueTools 2016 short paper accepted. Title: "Sensitivity of Application Performance to Resource Availability".
  • 3/8/16: SICSA PECE travel award for collaborating with Dr. Subodh Sharma at IIT, Delhi.
  • 1/8/16: Panos is awarded Sigsoft CAPS funding award to attend ASE'16.
  • 8/7/16: ASE'16 paper accepted. Title: "Test Case Permutation to Improve Execution time.".
  • 1/6/16: MInf4 student, Boris Penev, starts his summer internship with me.
  • 4/5/16: ESEM'16 paper accepted. Title: "A Study on the Influence of Software and Hardware Features on Program Energy".
  • 29/4/16: TOSEM journal paper accepted for publication.
  • 7/9/15: Vanya Yaneva started her PhD as part of the second CDT cohort in Pervasive Parallelism.
  • 26/8/15: The TOSEM journal paper on "The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage" has been accepted with minor revisions.
  • 7/8/15: I have authored the chapter on "Change Impact metrics" in the book "Validation of Evolving Software" recently published by Springer. ISBN 978-3-319-10623-6.
  • 3/8/15: Panos Stratis joins as a PhD student.
  • 9/2/15: Awarded GCHQ grant to perform accelerated security testing using GPUs.
  • 21/1//15:Paper on "Optimising Energy Consumption of Design Patterns" accepted at ICSE'15 in the new ideas track.
  • 1/8/14:Adel Nourredine joins the group as a Post-doctoral research assistant.
  • 30/6/14:Paper on "Accelerated Test Execution usign GPUs" was accepted at ASE'14 in the new ideas track.
  • 1/6/14:Sivaprakash Senapathi started his summer internship at IBM and will work with us on the EPSRC project.
  • 8/2/14: EPSRC First Grant Awarded. The project will define cost models for regression test effort in collaboration with IBM Edinburgh. Project is due to start on 1/8/14.

I edited a book along with Thomas Wahl for the European funded project, CESAR. The book was published by Springer in March 2013. A glimpse of the book is available here.