ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Anila Mjeda

Registered user since Tue 19 Jun 2018

Name: Anila Mjeda

Bio: I am a full time researcher in Lero - The Irish Software Research Centre at the University of Limerick.

Previously I was a Research Fellow at the 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 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.

Country: Ireland

Affiliation: Lero - The Irish Software Research Centre and University of Limerick

Personal website: https://www.lero.ie/people/anila-mjeda

Research interests: model-driven engineering, formal methods, testing, verification, safety critical systems, automotive software, software engineering education.

Contributions

InterAVT 2019Author of Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges within the InterAVT-track
Author of Welcome to InterAVT 2019 within the InterAVT-track
Committee Member in Organizing Committee within the InterAVT-track
Show activities from other conferences

ETAPS 2019-profile
View general profile