Einar Broch Johnsen
Professor
|
+47 22852509
|
einarj@ifi.uio.no
|
informatikk,
programmering og nettverk,
logikk,
sikkerhet,
teoretisk databehandling,
kvalitetssikring av programvaresystemer,
software engineering,
modellering av programvaresystemer,
analyse av programvaresystemer,
formelle metoder,
objekt-orientering,
parallelle og distribuerte systemer,
Programmeringsspråk
|
Martin Steffen
Professor
|
+47 22850417
|
msteffen@ifi.uio.no
|
|
Silvia Lizeth Tapia Tarifa
Førsteamanuensis
|
+47 22852763
|
sltarifa@ifi.uio.no
|
formal methods,
concurrency,
programming language theory,
model-based analysis,
microservices,
distributed systems,
object-orientation,
modeling,
resourse analysis
|
Peter Csaba Ølveczky
Professor
|
+47 22852498
|
peterol@ifi.uio.no
|
|
Rudolf Schlatte
Senioringeniør
|
+47 22852971
|
rudi@ifi.uio.no
|
|
Eduard Kamburjan
Førstelektor
|
|
eduard@ifi.uio.no
|
|
Violet Ka I Pun
|
|
|
|
Toktam Ramezanifarkhani
|
|
|
|
Volker Stolz
Førsteamanuensis
|
+47 22852438
|
stolz@ifi.uio.no
|
programming languages,
programmeringsspråk,
formal methods,
model transformation,
UML,
QVT,
Haskell,
FreeBSD,
object-orientation,
verification
|
Chinmayi Baramashetru
Stipendiat
|
|
cpbarama@ifi.uio.no
|
|
Tobias John
Stipendiat
|
|
tobiajoh@ifi.uio.no
|
|
Åsmund Aqissiaq Arild Kløvstad
Stipendiat
|
|
aaklovst@ifi.uio.no
|
|
Paul Kobialka
Stipendiat
|
|
paulkob@ifi.uio.no
|
|
Juliane Linda Pässler
Stipendiat
|
|
julipas@ifi.uio.no
|
|
Erik Voogd
Doktorgradsstudent
|
|
erikvoogd@ifi.uio.no
|
|