Olaf Owe

Professor, leader of the research group on Precise Modeling and Analysis ( PMA),
Department of Informatics at University of Oslo

• Office: Ole-Johan Dahls hus, room 8463, Gaustadalléen 23 D
• address: Department of Informatics, University of Oslo, PB 1080 Blindern, 0316 Oslo, Norway
• Office Phone: + 47 - 22 85 24 49
• Email: olaf at ifi.uio.no

Research Interests

• Programming and specification languages.
• Formal methods, and in particular oriented toward object-orientation and open, distributed systems.
• Verification and reasoning systems.
• Specification and modeling of concurrent systems.
• Related simulation, modeling, analysis and reasoning tools.

Current Projects

• the Hats project (EU): Highly Adaptable and Trustworthy Software using Formal Methods
• the Connect project (NFR): Active Behavioral Interfaces for Seamless Network Integration
• the Credo project (EU): Modeling and analysis of evolutionary structures for distributed services
• Contracts for Internet Services (a Nordunet project): Contract-Oriented Software for Internet Services
• the CREOL project (NFR): Modeling and Analysis of Open, Object-Oriented and Distributed Systems.
• COST action project (EU): Formal Verification of Object-Oriented Software

Earlier Projects

• the ADAPT-FT project (NFR): Adaptation of Formal Techniques to Support the Development of Open Distributed Systems
• the ABEL project (NFR): A Programming and Specification Language with a Reasoning System and Tool
• the CoFI project (IFIP)
• the COMPASS project (EU)
• the PROCOS project (EU)

Publications