Deltakere i Analytiske Systemer og Resonnering (ASR)

Navn Telefon E-post Emneord
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