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, computer science, 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 Researcher +47 22850481 security, privacy, concurrency models, formal methods, safety verification, automated tools, logic in computer science, process algebras, semantics of programming languages, security ceremonies, access control
Volker Stolz Associate Professor +47 22852438 formal methods, model transformation, UML
Bjørnar Steinnes Luteberget
Elahe Fazeldehkordi Doctoral Research Fellow
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