Research
My main research interest is in the foundations of AI. In particular, I study the relationships between symbolic AI formalisms, such as various logics (Description Logics, Temporal Logics, Datalog) and query languages (SPARQL, Regular Path Queries, OTTR), and sub-symbolic approaches, including ML formalisms (Graph Neural Networks, Markov Logic Networks). Such relationships are in the heart of Explainable, Trustworthy, and Green AI.
Short Bio
I received my MSc (Specialist, 2005) and PhD (Candidate, 2009) degrees from Lomonosov Moscow State University under supervision of Prof. Vladimir A. Zakharov; my thesis was in the area of Programming Languages. From 2010 to 2013, I was a research fellow at the School of Informatics, University of Edinburgh, UK, where I contributed to the foundations of Databases in the group of Prof. Peter Buneman. From 2013 to 2020, I was a Departmental Lecturer at the Department of Computer Science, University of Oxford, UK, where I researched on the foundations of the Semantic Web and Knowledge Bases in the group of Prof. Ian Horrocks. Since 2020, I am an Associate Professor at the Department of Informatics at the University of Oslo, where my research interests extended to the the connections of Symbolic and Sub-Symbolic AI.
Projects
Integreat SFF: Norwegian Centre for Knowledge-driven Machine Learning (Research theme leader)
The Team
Shuwen (Aurora) Liu (PhD fellow, University of Oxford)
Maximilian Pflüger (PhD fellow, University of Oxford)
Roxana Pop (PhD fellow)
Dongzhuoran Zhou (PhD fellow)
Erik Snilsberg (PhD fellow)