Deltakere i Pålitelige systemer (PSY)

Fra UiO

Navn Telefon E-post Emneord
Martin Steffen Professor +47-22850417 msteffen@uio.no
Peter Csaba Ølveczky Professor +47-22852498 peterol@uio.no
Volker Stolz Førsteamanuensis +47-22852438 stolz@uio.no programming languages, programmeringsspråk, formal methods, model transformation, UML, QVT, Haskell, FreeBSD, object-orientation, verification
Hamed Arshad Stipendiat hamedar@uio.no security protocols, access control, authentication, formal methods, sikkerhet, adgangskontroll, formelle metoder, autentisering
Antonio Gonzalez Burgueno Student antonigo@uio.no
Daniel Schnetzer Fava Stipendiat danielsf@uio.no
Johanna Johansen Stipendiat jjohanna@uio.no
Farzane Karami Stipendiat farzanka@uio.no
Ha The Hien Dang
Shukun Tokas Stipendiat shukunt@uio.no
Toktam Ramezanifarkhani Forsker +47-22840137 toktamr@uio.no Information Security, Programming Languages, Security Management
Christian Johansen Forsker +47-22850481 cristi@uio.no security, privacy, concurrency models, formal methods, safety verification, automated tools, logic in computer science, process algebras, semantics of programming languages, security ceremonies, access control
Elahe Fazeldehkordi Stipendiat elahefa@uio.no
Bjørnar Steinnes Luteberget
Olaf Owe Professor +47-22852449 olaf@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 Forsker +47-22852763 sltarifa@uio.no formal methods, programming language theory, model-based predictions, parallel data access, cloud computing, parallel systems, distributed systems, object-orientation, modeling, deployment
Rudolf Schlatte Forsker +47-22852971 rudi@uio.no
Ka I Pun Førsteamanuensis +47-22840062 violet@uio.no
Shiji Bijo Student shijib@uio.no
Johanna Beate Stumpf
Jacopo Mauro