Besøksadresse
Det humanistiske fakultet (kart)
Niels Henrik Abels vei 36
0371
OSLO
Navn | Telefon | E-post | Emneord |
---|---|---|---|
![]() |
hamedar@ifi.uio.no | security protocols, access control, authentication, formal methods, sikkerhet, adgangskontroll, formelle metoder, autentisering | |
![]() |
+47 22840876 | crystald@ifi.uio.no | formal methods, verification, concurrency, object-orientation |
![]() |
+47 22852438 | stolz@ifi.uio.no | programming languages, programmeringsspråk, formal methods, model transformation, UML, QVT, Haskell, FreeBSD, object-orientation, verification |
![]() |
+47 22852763 | sltarifa@ifi.uio.no | formal methods, programming language theory, model-based predictions, parallel data access, cloud computing, parallel systems, distributed systems, object-orientation, modeling, deployment |