Gå til hovedinnhold
Jump to main content

Research interests

Academic Interests:
Programming and specification languages, Language-based Security, Privacy, GDPR,
Formal methods, 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.

Courses and teaching


Work experience

Professor at UiO from 1993 (and assoc. prof. before that)

Executive senior advicer at Prosa Security (part time) from Feb. 2021.

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.

Professor II  at UiA from August 2020

Selected publications


Last changed: 26.08.2021 09:08