Ajitha Rajan

Research Assistant

Maternity Leave

Wolfson Building, Parks Road, Oxford OX1 3QD

Biography

I am a post doctoral research assistant in the verification group working with Prof. Daniel Kroening since January 2011.

Previously, I was a post-doc at Laboratoire d’Informatique de Grenoble (LIG) at Grenoble, France working with Prof. Yves Ledru and Prof. Ioannis Parissis from Oct 2008 to Dec 2010. I graduated with a PhD in Computer Science from the University of Minnesota on Aug 2008. 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 through the use of formal methods.