Participants in Reliable systems (PSY)

From the University of Oslo

Name Phone E-mail Tags
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