Olaf Owe

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.

IKT448

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

See
https://www.mn.uio.no/ifi/english/people/aca/olaf/papers/