Participants in Analytical Solutions and Reasoning (ASR)

Name	Phone	E-mail	Tags
Ana Helena Ozaki Rivera Castillo Associate Professor		anaoz@ifi.uio.no
Anne-Marie George Postdoctoral Fellow		annemage@ifi.uio.no	preference learning, preference modelling, computational social choice
Christos Dimitrakakis Professor II	+467294744779 (mob)	chridim@ifi.uio.no	reinforcement learning, machine learning, differential privacy, fairness, decision making under uncertainty, artificial intelligence, adversarial machine learning, Bayesian inference, autonomous vehicles, recommendation systems
Daniel Rygh Bakkelund
Dirk Hesse Associate Professor	+47 99388030 (mob)	dirkh@ifi.uio.no
Dumitru Roman
Eduard Kamburjan Senior Lecturer		eduard@ifi.uio.no
Egor Kostylev Associate Professor		egork@ifi.uio.no
Ellen Munthe-Kaas Associate Professor	+47 22852801	ellenmk@ifi.uio.no
Ernesto Jimenez-Ruiz Researcher		ernestoj@ifi.uio.no	semantic web, semantic technologies, ontologies, ontology alignment
Espen Volnes
Gianluca Turin
He Gu Doctoral Research Fellow		heg@student.matnat.uio.no
Herman Ruge Jervell		herman@ifi.uio.no
Ingrid Chieh Yu Associate Professor	+47 22845525	ingridcy@ifi.uio.no
Jon Henrik Forssell Associate Professor	+47 22852781	jonf@ifi.uio.no
Juliane Linda Pässler Doctoral Research Fellow		julipas@ifi.uio.no
Knut Omang Associate Professor		knuto@ifi.uio.no
Lars Kristiansen Professor II	+47 922 10 527	larsk@math.uio.no	Mathematical Logic, Computability Theory, Complexity Theory, Computable Analysis
Martin Giese Professor	+47 22852737	martingi@ifi.uio.no	logic, big data, semantic web, automated reasoning, proof search, first order logic
Mehmet Naci Akkøk
Meirav Segal
Morten Gunnar Bjørner Lindeberg
Otto Johan Anshus
Peyman Rasouli
Paul Kobialka Doctoral Research Fellow		paulkob@ifi.uio.no
Roger Antonsen
Roxana Pop Doctoral Research Fellow		roxanap@ifi.uio.no
Silvia Lizeth Tapia Tarifa Associate Professor	+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 Buening Stipendiat		thomkl@ifi.uio.no
Thomas Peter Plagemann Professor	+47 22852743	plageman@ifi.uio.no
Tobias John Doctoral Research Fellow		tobiajoh@ifi.uio.no
Vera Hermine Goebel Professor	+47 22852402	goebel@ifi.uio.no
Vidar Norstein Klungre
Yuanwei Qu Researcher		quy@ifi.uio.no