Deltakere i Analytiske Systemer og Resonnering (ASR)

Navn Telefon E-post Emneord
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
Daniel Bakkelund Stipendiat danielry@ifi.uio.no
Crystal Chang Din crystald@ifi.uio.no formal methods, verification, concurrency, object-orientation
Christos Dimitrakakis Professor chridim@ifi.uio.no maskinlæring, reinforcement learning, differential privacy, Kunstig intelligens, personvern
Jon Henrik Forssell Førsteamanuensis +47 22852781 jonf@ifi.uio.no
Martin Giese Professor +47 22852737 martingi@ifi.uio.no Automatisk resonnering, Semantic web, Bevissøk, Logikk, Big data, Førsteordens logikk
Dirk Hesse Førsteamanuensis dirkh@ifi.uio.no
Magdalena Ivanovska
Lars Kristiansen Professor +4792210527 (mob) +47 922 10 527 larsk@math.uio.no matematisk logikk, beregnbarhetsteori, kompleksitetsteori, beregnbar analyse
Lin Jia-Chun
Daniel Lupp
Summaya Mumtaz summayam@ifi.uio.no
Ellen Munthe-Kaas Førsteamanuensis +47 22852801 41598942 ellenmk@ifi.uio.no
Jens Otten Postdoktor jeotten@ifi.uio.no
Peyman Rasouli Stipendiat peymanra@ifi.uio.no Machine Learning, Explainable AI, Knowledge Discovery, Computational Intelligence
Dumitru Roman Førsteamanuensis dumitrur@ifi.uio.no
Martin Georg Skjæveland Forsker martige@ifi.uio.no ontologier, dataintegrasjon, logikk, datautveksling, Semantisk web, databaser
Evgenij Thorstensen
Ingrid Chieh Yu Førsteamanuensis +47 22845525 ingridcy@ifi.uio.no
Herman Ruge Jervell Professor emeritus +47 22840121 +47 98853310 (mob) herman@ifi.uio.no Logikk
Vidar Norstein Klungre Postdoktor vidarkl@ifi.uio.no
Gianluca Turin Stipendiat gianlutu@ifi.uio.no
Silvia Lizeth Tapia Tarifa Forsker +47 22852763 sltarifa@ifi.uio.no formal methods, concurrency, programming language theory, model-based analysis, microservices, distributed systems, object-orientation, modeling, resourse analysis
Mehmet Naci Akkøk Førsteamanuensis +47 47026879 nacia@ifi.uio.no