If you made any changes in Pure these will be visible here soon.

Personal profile

Research Interests

My research is in the field of software engineering and strives to address challenges in software validation and verification through the use of formal methods. I am especially interested in defining quality metrics for software. I am interested in coverage metrics for code, design, and requirements - not necessarily in that order. I am also interested in automated test case generation, reduction and execution. My recent research focuses on executing test cases on GPUs. I am also working on cost models for incremental software and defining adequacy metrics for regression testing.


2008 PhD in Computer Science, University of Minnesota
2007 MSc in Computer Science, University of Minnesota
2002 BTech in Information Technology, University of Madras 


I am a Lecturer 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. 


Dive into the research topics where Ajitha Rajan is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or