Anila Mjeda

I am an academic in the computer science department of the Munster Technical University and a member of Lero - The Irish Software Research Centre.

Previously I was an academic at the University of Limerick, a Postdoctoral Researcher and a Research Fellow at Lero in the University Limerick and School of Computer Science and Statistics at Trinity College Dublin, Ireland; and, worked in industry as a software engineer.

I obtained my PhD Degree in 2013 from the University of Limerick with the thesis “Standard Compliant Testing for Safety-Related Automotive Software”.

My work focuses on safety-critical software and model-driven engineering with a focus on testing and verification of large and complex software systems. I have a particular interest in using formal methods in an industrial context and especially in lowering the barrier of using formal approaches in real-world projects.