Olaf Owe

Olaf Owe is an Emeritus Professor at the Department of Informatics, University of Oslo, with research focusing on formal methods, programming languages, and security. His academic journey includes a Dr.scient from University of Oslo (1980), research associate positions at Stanford University, and faculty positions at University of California San Diego.

Research interests center on:

• Programming and specification languages
• Language-based security and GDPR compliance
• Formal methods for concurrent systems
• Verification and reasoning systems

His publications demonstrate strong focus on formal verification of security protocols and privacy-preserving systems. Recent work emphasizes GDPR compliance in distributed systems using formal methods.

Supervised 15 PhD students as main advisor and 15+ as co-advisor. Current projects include CPS Lab, CybAlliance IoT center, and PriTEM privacy-preserving energy management.