Deltakere i Pålitelige systemer (PSY)

Fra UiO

Navn Telefon E-post Emneord
Martin Steffen Professor +47 22850417 msteffen@ifi.uio.no
Peter Csaba Ølveczky Professor +47 22852498 peterol@ifi.uio.no
Volker Stolz Førsteamanuensis +47 22852438 stolz@ifi.uio.no programming languages, programmeringsspråk, formal methods, model transformation, UML, QVT, Haskell, FreeBSD, object-orientation, verification
Hamed Arshad Stipendiat hamedar@ifi.uio.no
Antonio Gonzalez Burgueno
Daniel Schnetzer Fava
Johanna Johansen
Farzane Karami Student farzanka@ifi.uio.no
Shukun Tokas
Toktam Ramezanifarkhani Førsteamanuensis +47 22840137 toktamr@ifi.uio.no Information Security, Programming Languages, Security Management
Christian Johansen
Elahe Fazeldehkordi
Bjørnar Steinnes Luteberget
Olaf Owe Professor +47 22852449 olaf@ifi.uio.no informatikk, programmering og nettverk, logikk, sikkerhet, teoretisk databehandling, kvalitetssikring av programvaresystemer, software engineering, modellering av programvaresystemer, analyse av programvaresystemer, formelle metoder, objekt-orientering, parallelle og distribuerte systemer, Programmeringsspråk
Silvia Lizeth Tapia Tarifa Senior Researcher 22840852 sltarifa@ifi.uio.no formal methods, concurrency, programming language theory, model-based analysis, microservices, distributed systems, object-orientation, modeling, resourse analysis
Rudolf Schlatte Forsker +47 22852971 rudi@ifi.uio.no
Ka I Pun Førsteamanuensis +47 22840062 violet@ifi.uio.no
Shiji Bijo
Johanna Beate Stumpf
Jacopo Mauro
Chinmayi Baramashetru Stipendiat cpbarama@ifi.uio.no
Einar Broch Johnsen Professor +47 22852509 einarj@ifi.uio.no informatikk, programmering og nettverk, logikk, sikkerhet, teoretisk databehandling, kvalitetssikring av programvaresystemer, software engineering, modellering av programvaresystemer, analyse av programvaresystemer, formelle metoder, objekt-orientering, parallelle og distribuerte systemer, Programmeringsspråk