Einar Broch Johnsen
Professor
|
+47 22852509
|
einarj@ifi.uio.no
|
computer science,
formal methods,
semantics,
modeling,
distributed systems,
digital twins
|
Silvia Lizeth Tapia Tarifa
Associate Professor
|
+47 22852763
|
sltarifa@ifi.uio.no
|
formal methods,
concurrency,
programming language theory,
model-based analysis,
microservices,
distributed systems,
object-orientation,
modeling,
resourse analysis
|
Martin Steffen
Professor
|
+47 22850417
|
msteffen@ifi.uio.no
|
semantics,
programming language theory,
static analysis,
verification,
compiler construction,
object-orientation,
formal methods,
concurrency,
computer science,
verification,
PMA,
program analysis,
static analysis,
compositionality,
security,
model checking,
type systems
|
Peter Csaba Ølveczky
Professor
|
+47 22852498
|
peterol@ifi.uio.no
|
|
Rudolf Schlatte
Senior Engineer
|
+47 22852971
|
rudi@ifi.uio.no
|
formal methods,
computer science,
programming language semantics,
concurrency
|
Eduard Kamburjan
Senior Lecturer
|
|
eduard@ifi.uio.no
|
|
Violet Ka I Pun
|
|
|
|
Toktam Ramezanifarkhani
Associate Professor
|
|
toktamr@ifi.uio.no
|
Information Technology,
Information Security,
Software and Programming Languages,
Security Management,
network security
|
Volker Stolz
Associate Professor
|
+47 22852438
|
stolz@ifi.uio.no
|
formal methods,
model transformation,
UML
|
Chinmayi Baramashetru
Doctoral Research Fellow
|
|
cpbarama@ifi.uio.no
|
|
Tobias John
Doctoral Research Fellow
|
|
tobiajoh@ifi.uio.no
|
|
Åsmund Aqissiaq Arild Kløvstad
Doctoral Research Fellow
|
|
aaklovst@ifi.uio.no
|
|
Paul Kobialka
Doctoral Research Fellow
|
|
paulkob@ifi.uio.no
|
|
Juliane Linda Pässler
Doctoral Research Fellow
|
|
julipas@ifi.uio.no
|
|
Erik Voogd
PhD Student
|
|
erikvoogd@ifi.uio.no
|
|