FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Ajitha Rajan

Registered user since Thu 7 Jan 2021

Name:Ajitha Rajan
Bio:

I am a Reader (or Assoc. Professor in American terms) 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 research is in the field of software engineering and strives to address challenges in software testing and verification. She has worked on different aspects of test automation – test input generation, formal specifications, coverage measurement and test oracles, that have applied to safety critical systems, blockchains and embedded systems. I also work on robustness and interpretability of artificial intelligence in the field of medical diagnostics.

Country:United Kingdom
Affiliation:University of Edinburgh
Research interests:Software testing, explainable AI, program analysis

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile