My current main area of interest is the specification and implementation of formal languages for concurrent, distributed software systems modeling.
- INF2220 - Algorithms and data structures (fall 2010)
- INF3230 - Formal modeling and analysis of communicating systems (spring 2011)
Higher education and employment history
After finishing a master's degree at Graz University of Technology, I worked for several years at the Austrian research center Joanneum Research as researcher and programmer. From 2007 to 2010, I studied for a PhD at Graz University of Technology, during which time I was employed at the International Institute for Software Technology, United Nations University, in Macao. After finishing my PhD, I was hired as a Postdoc researcher in Oslo.