Norwegian version of this page
Programming

Reliable Systems (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 22 staff members.
Name Phone E-mail Tags
Baramashetru, Chinmayi Doctoral Research Fellow cpbarama@ifi.uio.no
Doroudi Moghadam, Maunya Senior Adviser m.d.moghadam@its.uio.no
Horn, Geir Senior Adviser +47 22840954 +47 93059335 (mob) geir.horn@mn.uio.no
John, Tobias Doctoral Research Fellow tobiajoh@ifi.uio.no
Johnsen, Einar Broch Professor +47 22852509 einarj@ifi.uio.no computer science, formal methods, semantics, modeling, distributed systems, digital twins
Kamburjan, Eduard Senior Lecturer eduard@ifi.uio.no
Kløvstad, Åsmund Aqissiaq Arild Doctoral Research Fellow aaklovst@ifi.uio.no
Kobialka, Paul Doctoral Research Fellow paulkob@ifi.uio.no
Kyritsis, Dimitrios Senior Adviser dimitrky@ifi.uio.no
Lyu, Qianhang Researcher qianhanl@ifi.uio.no
Pferscher, Andrea Postdoctoral Fellow andreapf@ifi.uio.no
Psarommatis Giannakopoulos, Foivos Researcher foivosp@ifi.uio.no
Pässler, Juliane Linda Doctoral Research Fellow julipas@ifi.uio.no
Rozanska, Marta Researcher martaroz@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
Steffen, Martin 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
Stolz, Volker Associate Professor +47 22852438 stolz@ifi.uio.no formal methods, model transformation, UML
Tapia Tarifa, Silvia Lizeth 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
Voogd, Eisse Hendrik Doctoral Research Fellow eissehv@ifi.uio.no
Waaler, Arild Torolv Søetorp Professor +47 22840055 arild@ifi.uio.no
Ølveczky, Peter Csaba Professor +47 22852498 peterol@ifi.uio.no