Participants in Logic and Intelligent Data (LogID)

Name Phone E-mail Tags
Roger Antonsen Associate Professor +47-22852482 97588742 (mob) 97588742 rantonse@ifi.uio.no First-Order Logic, Processing, Netlogo, Mathematical Logic, Outreach, Arduino, Automated Reasoning, Philosophy, Proof Theory, Logical Calculi, Automata, Modal Logic, Philosophy of Mathematics, Combinatorics, Logic, Complexity Theory, Science Communication, Proof Search
Ian Horrocks
Daniel Lupp Doctoral Research Fellow 40380521 (mob) danielup@ifi.uio.no
Daniel Bakkelund Doctoral Research Fellow danielry@ifi.uio.no
Roar Fjellheim
Jon Henrik Forssell Associate Professor +47-22852781 jonf@ifi.uio.no
Martin Giese Professor +47-22852737 martingi@ifi.uio.no first order logic, proof search, semantic web, logic, automated reasoning, big data
Dag Hovland Researcher +47-97046378 (mob) hovland@ifi.uio.no
Herman Ruge Jervell Professor Emeritus +47-22840121 +47-98853310 (mob) herman@ifi.uio.no
Magdalena Ivanovska Postdoctoral Fellow +47-22840848 magdalei@ifi.uio.no
Leif Harald Karlsen Head Engineer leifhka@ifi.uio.no
Lars Kristiansen Professor +47-22855897 92210527 (mob) +47 922 10 527 larsk@math.uio.no Complexity Theory, Computability Theory, Mathematical Logic
Summaya Mumtaz Doctoral Research Fellow summayam@ifi.uio.no
Jens Otten Researcher jeotten@ifi.uio.no
Dumitru Roman Associate Professor dumitrur@ifi.uio.no
Martin Georg Skjæveland Postdoctoral Fellow martige@ifi.uio.no Semantic web, Logic, Ontologies, Databases, Data Integration, Data Exchange
Evgenij Thorstensen Associate Professor evgenit@ifi.uio.no
Guillermo Vega-Gorgojo
Ahmet Soylu
Ulrike Sattler
Arild Waaler Professor +47-22840055 arild@ifi.uio.no
Vidar Norstein Klungre Doctoral Research Fellow 91370102 vidarkl@ifi.uio.no
David Cameron Centre Coordinator +47 22 85 04 46 + 47 48084637 (mob) davidbc@ifi.uio.no digitalisation, automation, SIRIUS - Centre for Research-driven Innovation, semantic technologies, oil and gas
Ernesto Jimenez-Ruiz Researcher ernestoj@ifi.uio.no semantic web, semantic technologies, ontologies, ontology alignment