Martin Steffen
Professor
|
+47 22850417
|
msteffen@ifi.uio.no
|
|
Peter Csaba Ølveczky
Professor
|
+47 22852498
|
peterol@ifi.uio.no
|
|
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
|
Hamed Arshad
Stipendiat
|
|
hamedar@ifi.uio.no
|
security protocols,
access control,
authentication,
formal methods,
sikkerhet,
adgangskontroll,
formelle metoder,
autentisering
|
Antonio Gonzalez Burgueno
|
|
|
|
Daniel Schnetzer Fava
Student
|
|
danielsf@ifi.uio.no
|
|
Johanna Johansen
Stipendiat
|
|
jjohanna@ifi.uio.no
|
|
Farzane Karami
Stipendiat
|
|
farzanka@ifi.uio.no
|
|
Ha The Hien Dang
|
|
|
|
Shukun Tokas
Student
|
|
shukunt@ifi.uio.no
|
Privacy,
Data Protection,
GDPR,
Privacy by Design,
Static Analysis,
Runtime Verification,
Language-based enforcement
|
Toktam Ramezanifarkhani
Postdoktor
|
+47 22840137
|
toktamr@ifi.uio.no
|
Information Security,
Programming Languages,
Security Management
|
Christian Johansen
Førsteamanuensis
|
+47 22850481
|
cristi@ifi.uio.no
|
|
Elahe Fazeldehkordi
Student
|
|
elahe.fazeldehkordi@its.uio.no
|
|
Bjørnar Steinnes Luteberget
|
|
|
|
Olaf Owe
|
+47 22852449
|
olaf@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
|
Silvia Lizeth Tapia Tarifa
Forsker
|
+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
|
Rudolf Schlatte
Forsker
|
+47 22852971
|
rudi@ifi.uio.no
|
|
Ka I Pun
Førsteamanuensis
|
+47 22840062
|
violet@ifi.uio.no
|
|
Shiji Bijo
Student
|
|
shijib@ifi.uio.no
|
|
Johanna Beate Stumpf
|
|
|
|
Jacopo Mauro
|
|
|
|