Olaf Owe

Professor, research leader of the PMA research group,
Department of Informatics at University of Oslo

• Office: 31148 in the Research Park (Forskningsparken) I
• address: PB 1139 Forskningsparken I, Department of Informatics, University of Oslo, 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
• Logic and reasoning systems
• Specification and modeling of concurrent systems
• Related simulation, modeling, analysis and reasoning tools

Current Projects

• 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

Available positions (Jan. 09)

Several PhD positions will be announced shortly, some for the whole department, and some for the PMA group. A post doc position (associated with the CONNECT project), as well as one within the Hats project, will also be available in the near future.