Norwegian version of this page
Programming

Reliable Systems (PROG-PSY)

Postal address Postboks 1080 Blindern, 0316 Oslo
Visiting address Gaustadalléen 23B
0373 Oslo
Org. Unit ID 150528
Report changes in information.

Staff

The list contains 19 staff members.
Name Phone E-mail Tags
Clorius, Lucas Doctoral Research Fellow lucascl@ifi.uio.no
Doroudi Moghadam, Maunya Senior Advisor +47 48688384 (mob) maunyad@uio.no
Dreyer, Lars Willas Researcher 46934744 larswd@math.uio.no Mechanics, Fluid Mechanics, Computational Mechanics, Hydrodynamics
Hadzhamolla, Berk Doctoral Research Fellow berkh@student.matnat.uio.no
Horn, Geir Senior Adviser +47 22840954 +47 93059335 (mob) geir.horn@mn.uio.no
Johnsen, Einar Broch Professor +47 22852509 einarj@ifi.uio.no computer science, formal methods, semantics, modeling, distributed systems, digital twins
Kamburjan, Eduard Researcher eduard@ifi.uio.no
Kharlamov, Evgeny Associate Professor evgeny.kharlamov@ifi.uio.no
Kløvstad, Åsmund Aqissiaq Arild Doctoral Research Fellow aaklovst@ifi.uio.no
Kyritsis, Dimitrios Senior Adviser dimitrky@ifi.uio.no
Mørken, Hannah Doctoral Research Fellow hannammo@ifi.uio.no
Pferscher, Andrea Postdoctoral Fellow andreapf@ifi.uio.no
Psarommatis Giannakopoulos, Foivos Researcher foivosp@ifi.uio.no
Schlatte, Rudolf Senior Engineer +47 22852971 rudi@ifi.uio.no formal methods, computer science, programming language semantics, concurrency
Sieve, Riccardo Doctoral Research Fellow riccasi@ifi.uio.no
Snilsberg, Erik Researcher eriksni@student.matnat.uio.no
Tapia Tarifa, Silvia Lizeth Associate Professor sltarifa@ifi.uio.no formal methods, concurrency, programming language theory, model-based analysis, distributed systems, object-orientation, modeling, resource analysis
Waaler, Arild Torolv Søetorp Professor +47 22851231 arild@ifi.uio.no
Ølveczky, Peter Csaba Professor +47 22852498 peterol@ifi.uio.no