Forskningsleder og nestleder ved Institutt for Informatikk (2021-2024)
Deputy Centre Director, SIRIUS
Teaching (from 2009):
-INF2220 Algorithms and data structures
-INF3230 Formal modeling and analysis of communicating systems
-INF5130 Selected topics in rewriting logic
Employment history (from 2010):
- Associate professor, University of Oslo (2011 -)
- Senior Researcher, Det Norske Veritas (2010 - 2011)