Field of work

Pre-prints of articles are available through our institutional archive via my CRIStin-profile on the right!

Download my CV:

Past projects:

Courses taught
  • DAT153 "Mobile Application Development"
  • DAT355 "Model-driven Software Engineering and Reliable Software Systems"
  • PCS954 "Model Checking and Software Verification"
  • DAT159 "Refactoring"
Research areas
  • Software Engineering
  • Testing & Monitoring
  • Runtime Verification
  • Formal Methods
Research groups


Show all