- Office: Ole-Johan Dahls hus, room 8463, Gaustadalléen 23 D
- address: Department of
University of Oslo, PB 1080 Blindern, 0316 Oslo, Norway
- Office Phone: + 47 - 22 85 24 49
- Email: olaf at ifi.uio.no
- 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
- Related simulation, modeling, analysis and reasoning tools.
For a list of publications see
a list of recent papers
a publication list of Jan. 09.
the new PMA homepage
the old PMA homepage.
by Olaf Owe