Programming and specification languages.
Language-based Security. Privacy, GDPR,
Formal methods, and in particular oriented toward object-orientation and open, distributed systems.
Verification and reasoning systems.
Specification and modeling of concurrent systems, as well as
related simulation, modeling, analysis and reasoning tools.
Higher education and employment history
Dr. scient (UiO, 1980, supervisor Ole-Johan Dahl http://www.olejohandahl.info).
Professor at UiO from 1993, and have earlier had various positions at University of Oslo from 1976.
Research Associate, Stanford University 1981-1983.
Assistant professor, University of California San Diego (UCSD) 1983-1987.
Sabbatical at UCSC, California, 2014/2015.
Sabbatical at Stanford Research Inst. (SRI), California, and Oxford University 1994/1995.
- Ph.D. students supervised (and year completed) as main supervisor:
Elahe Fazeldehkordi (2021), Shukun Tokas (2021), Lars Magnusson (2018), Dang Ha The Hien (2018), Crystal Din (14), Johan Dovland (09), Anders Moen (07), Demissie Aredo (05), Einar Broch Johnsen (02), Else Nordhagen (99), and Roland Olsson (95).
Co-supervisor for several candidates, most recently Daniel Fava (2021), Antonio Gonzales (2020), Lucian Bentea (15), Daniela Lepri (15), Muhammad Fadlisyah (14), Fatemeh Kazemeyni (13), Mai Thuong Tran (13), Hallstein Hansen (12), Arild Torjusen (11), Cristian Prisacariu (10), Ingrid Yu (10), Xuedong Liang (09), Henrik Berg (10), Dag Diesen (95), and Lars Kristiansen (ca 90).
- Currently supervising or co-supervising: Johanna Johansen, Farzane Karami, Marius Geitle, Hamed Arshad and Chinmayi Baramashetru (from Oct. 2020).
Teaching (from 2011)
- INF 2140
- INF 4140
- INF 3230
- INF 5160
- INF 5130
- IN 5170/9170
See the separate folder called "Papers".