Olaf Owe

Image of Olaf Owe
Room 9464
Username
Visiting address Ole-Johan Dahl's Building Gaustaddalléen 23 B

Academic Interests

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.

PhD supervision

  • 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

Publications

See  the separate folder called "Papers".

 

Tags: semantics, object-orientation, formal methods, concurrency, privacy, information security, language-based security, verification, programming languages
Published Nov. 4, 2010 2:12 PM - Last modified June 15, 2021 10:39 AM