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.