Registered user since Thu 7 Jan 2021
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.
Contributions