Ana Helena Ozaki Rivera Castillo
Førsteamanuensis
|
|
anaoz@ifi.uio.no
|
|
Anne-Marie George
Postdoktor
|
|
annemage@ifi.uio.no
|
|
Christos Dimitrakakis
Professor II
|
+467294744779 (mob)
|
chridim@ifi.uio.no
|
maskinlæring,
reinforcement learning,
differential privacy,
Kunstig intelligens,
personvern
|
Daniel Bakkelund
|
|
|
|
Dirk Hesse
Førsteamanuensis
|
+47 99388030 (mob)
|
dirkh@ifi.uio.no
|
|
Dumitru Roman
|
|
|
|
Eduard Kamburjan
Førstelektor
|
|
eduard@ifi.uio.no
|
|
Egor Kostylev
Førsteamanuensis
|
|
egork@ifi.uio.no
|
|
Ellen Munthe-Kaas
Førsteamanuensis
|
+47 22852801
41598942
|
ellenmk@ifi.uio.no
|
|
Espen Volnes
|
|
|
|
Gianluca Turin
Student
|
|
gianlutu@ifi.uio.no
|
|
He Gu
Stipendiat
|
|
heg@student.matnat.uio.no
|
|
Herman Ruge Jervell
|
|
herman@ifi.uio.no
|
Logikk
|
Ingrid Chieh Yu
Førsteamanuensis
|
+47 22845525
|
ingridcy@ifi.uio.no
|
|
Jon Henrik Forssell
Førsteamanuensis
|
+47 22852781
|
jonf@ifi.uio.no
|
|
Knut Omang
Førsteamanuensis
|
|
knuto@ifi.uio.no
|
|
Juliane Linda Pässler
Stipendiat
|
|
julipas@ifi.uio.no
|
|
Lars Kristiansen
Professor II
|
+47 922 10 527
|
larsk@math.uio.no
|
matematisk logikk,
beregnbarhetsteori,
kompleksitetsteori,
beregnbar analyse
|
Martin Giese
Professor
|
+47 22852737
|
martingi@ifi.uio.no
|
Logikk,
Big data,
Semantic web,
Automatisk resonnering,
Bevissøk,
Førsteordens logikk
|
Mehmet Naci Akkøk
|
|
|
|
Meirav Segal
|
|
|
|
Morten Gunnar Bjørner Lindeberg
|
|
|
|
Otto Johan Anshus
Professor II
|
+47 91573265 (mob)
|
anshus@ifi.uio.no
|
|
Paul Kobialka
Stipendiat
|
|
paulkob@ifi.uio.no
|
|
Peyman Rasouli
|
|
|
|
Roger Antonsen
Førsteamanuensis
|
+47 22852482
|
rantonse@ifi.uio.no
|
Logikk,
Bevisteori,
Automatisk resonnering,
Bevissøk,
Modallogikk,
Førsteordens logikk,
Kompleksitetsteori,
Automater,
Cellulære automater,
Generativ kunst,
Algoritmer,
Algoritmisk kunst,
Matematisk kunst,
Netlogo,
Processing,
Filosofi,
Matematikkfilosofi,
Formidling,
Vitenskapsformidling
|
Roxana Pop
Stipendiat
|
|
roxanap@ifi.uio.no
|
|
Silvia Lizeth Tapia Tarifa
Førsteamanuensis
|
+47 22852763
|
sltarifa@ifi.uio.no
|
formal methods,
concurrency,
programming language theory,
model-based analysis,
microservices,
distributed systems,
object-orientation,
modeling,
resourse analysis
|
Summaya Mumtaz
|
|
|
|
Thomas Kleine Büning
Student
|
|
thomkl@ifi.uio.no
|
|
Thomas Peter Plagemann
Professor
|
+47 22852743
|
plageman@ifi.uio.no
|
|
Tobias John
Stipendiat
|
|
tobiajoh@ifi.uio.no
|
|
Vera Hermine Goebel
Professor
|
+47 22852402
|
goebel@ifi.uio.no
|
|
Rana Tallal Javed
Stipendiat
|
|
ranaj@ifi.uio.no
|
privacy,
Ethics,
real-time analytics
|
Vidar Norstein Klungre
|
|
|
|
Yuanwei Qu
Forsker
|
|
quy@ifi.uio.no
|
|