Participants in Analytical Solutions and Reasoning (ASR)

Name Phone E-mail Tags
Roger Antonsen Associate Professor +47-22852482 97588742 (mob) Logic, Proof Theory, Automated Reasoning, Proof Search, Modal Logic, First-Order Logic, Complexity Theory, Automata, Cellulære automater, Generative Art, Algorithms, Algorithmic Art, Mathematical Art, Netlogo, Processing, Philosophy, Philosophy of Mathematics, Outreach, Science Communication
Daniel Bakkelund Doctoral Research Fellow
Crystal Chang Din Researcher +47-22845516 formal methods, verification, concurrency, Object-orientation
Christos Dimitrakakis Professor reinforcement learning, machine learning, differential privacy, fairness, decision making under uncertainty, artificial intelligence, adversarial machine learning, Bayesian inference, autonomous vehicles, recommendation systems
Jon Henrik Forssell +47-22852781
Martin Giese Professor +47-22852737 first order logic, proof search, semantic web, logic, automated reasoning, big data
Dirk Hesse Associate Professor
Magdalena Ivanovska Postdoctoral Fellow +47-22840848
Einar Broch Johnsen Professor +47-22852509
Lars Kristiansen Professor +47-22855897 92210527 (mob) +47 922 10 527 Complexity Theory, Computability Theory, Mathematical Logic
Lin Jia-Chun
Daniel Lupp Postdoctoral Fellow
Summaya Mumtaz Doctoral Research Fellow
Ellen Munthe-Kaas Head of Department +47-22852801
Jens Otten Postdoctoral Fellow
Peyman Rasouli Doctoral Research Fellow XAI, Machine Learning, Data Mining, KR&R, Optimization
Dumitru Roman Associate Professor
Martin Georg Skjæveland Researcher Semantic web, Logic, Ontologies, Databases, Data Integration, Data Exchange
Evgenij Thorstensen
Ingrid Chieh Yu Associate Professor +47-22845525
Herman Ruge Jervell Professor Emeritus +47-22840121 +47-98853310 (mob)
Ernesto Jimenez-Ruiz Researcher semantic web, semantic technologies, ontologies, ontology alignment
Vidar Norstein Klungre Doctoral Research Fellow 91370102
Gianluca Turin Doctoral Research Fellow
Silvia Lizeth Tapia Tarifa Researcher +47-22852763 formal methods, programming language theory, model-based predictions, parallel data access, cloud computing, parallel systems, distributed systems, object-orientation, modeling, deployment