Arshad, Hamed
Doctoral Research Fellow
|
|
hamedar@ifi.uio.no
|
security protocols,
access control,
authentication,
cryptography,
network security,
formal methods,
model checking,
key agreement,
privacy,
security
|
Brandtzæg, Petter Bae
Professor
|
+47 22850410
92806546
|
p.b.brandtzag@media.uio.no
|
Chatbots,
Artifical Intelligence,
Social media,
Journalism,
Facebook,
Privacy
|
Gruschka, Nils
Associate Professor
|
+47 22840858
|
nilsgrus@ifi.uio.no
|
Security,
Privacy
|
Johansen, Christian
Researcher
|
+47 22850481
|
cristi@ifi.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
|
Owe, Olaf
Professor
|
+47 22852449
|
olaf@ifi.uio.no
|
semantics,
object-orientation,
formal methods,
concurrency,
privacy,
information security,
language-based security,
verification,
programming languages
|
Rathe, Kaja Jenssen
Guest Researcher
|
|
k.j.rathe@stk.uio.no
|
Phenomenology,
Feminist philosophy,
Political philosophy,
Immigration ethics,
Privacy
|