My Research Interests

I am interested in all aspects of Software Engineering. My research is aimed at developing tools and techniques for building critical systems more affectively.

Critical systems are systems that can have huge consequences (e.g., loss of life, loss of huge amounts of money, environmental disasters) if they don't work correctly.

I am a member of the Critical Systems Research Group (CriSys) and my advisor is Professor Mats Heimdahl.

The long-term goal of our research group is to develop a comprehensive framework for developing critical systems. Past work of the group has focused on topics such as formal modeling languages, requirements specification, formal methods and verification/validation.