Øystein Haugen
Title
Førsteamanuensis (Associate Professor)
Affiliation
Department of Informatics
,
University of Oslo
Address
P.O. Box 1080, Blindern, N-0316 Oslo, Norway
Research Group
Object orientation, Modeling and Language (
OMS
)
Office
Rom 3305 Informatikkbygget
Phone
+47 22 85 27 37 (office)
+47 913 90 914 (mobile)
Fax
Email
oystein.haugen {at} ifi.uio.no
Research Interests
Object Oriented Languages and Methods
Software Engineering
Real-time systems (especially telecom)
Practical formal methods
Current main projects:
UML 2.0 with special focus on Interactions (Sequence Diagrams) (
UML2.0
)
SARDAS
Securing Availability by Robust Design, Assessment and Specification
Families
FAct-based Maturity through Institutionalisation Lessons-learned and Involved Exploration of System-family engineering
SWAT
Semantic Weaving - Advancing the Technology
Associated with
ARTS (PATS)
Program for Advanced Telecom Services
Teaching:
INF5150: INF-UIT: Inassailable IT-systems
INF2120 - Project in Modeling
Master thesis suggestions
Publications:
Selected recent publications
More detailed CV of Ø. Haugen
PhD Thesis:
Practitioners' Verification of SDL Systems
(Acrobat 6.0, 1.7 Mb)
Updated: August 11, 2005
