Participants in Reliable systems (PSY)

From the University of Oslo

Name Phone E-mail Tags
Hamed Arshad Doctoral Research Fellow security protocols, access control, authentication, cryptography, network security, formal methods, model checking, key agreement, privacy, security
Antonio Gonzalez Burgueno
Daniel Schnetzer Fava Doctoral Research Fellow
Farzane Karami Doctoral Research Fellow
Johanna Johansen Doctoral Research Fellow usable privacy, privacy patterns, online security and privacy seals (OSPS), visual representation of privacy, personal data regulations, Human-Computer Interaction, Internet of Things (IoT), abusive applications, General Data Protection Regulation (GDPR), personal data use and misuse.
Shukun Tokas Student
Martin Steffen Professor +47 22850417 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
Olaf Owe Professor +47 22852449 semantics, object-orientation, formal methods, concurrency, privacy, information security, language-based security, verification, programming languages
Peter Csaba Ølveczky Professor +47 22852498
Toktam Ramezanifarkhani Postdoctoral Fellow +47 22840137 Information Technology, Information Security, Software and Programming Languages, Security Management, network security
Christian Johansen Associate Professor +47 22850481
Volker Stolz Associate Professor +47 22852438 formal methods, model transformation, UML
Bjørnar Steinnes Luteberget
Elahe Fazeldehkordi Student
Ka I Pun Associate Professor +47 22840062
Silvia Lizeth Tapia Tarifa Researcher +47 22852763 formal methods, programming language theory, model-based predictions, parallel data access, cloud computing, parallel systems, distributed systems, object-orientation, modeling, deployment
Rudolf Schlatte Researcher +47 22852971 formal methods, computer science, programming language semantics, concurrency
Shiji Bijo Student
Anastasia Gkolfi Student
Maunya Doroudi Moghadam Researcher
Manish Shrestha
Ijlal Loutfi
Marius Geitle