Besøksadresse
Ole Johan Dahls Hus (kart)
Gaustadalléen 23 B
N-0373
OSLO
Norge
Navn | Telefon | E-post | Emneord |
---|---|---|---|
![]() |
+47-22850417 | msteffen@ifi.uio.no | |
![]() |
+47-22852438 | stolz@ifi.uio.no | programming languages, programmeringsspråk, formal methods, model transformation, UML, QVT, Haskell, FreeBSD, object-orientation, verification |
![]() |
+47-22852509 | einarj@ifi.uio.no | informatikk, sikkerhet, kvalitetssikring av programvaresystemer, analyse av programvaresystemer, objekt-orientering, programmering og nettverk, software engineering, logikk, formelle metoder, modellering av programvaresystemer, parallelle og distribuerte systemer, teoretisk databehandling, Programmeringsspråk |