About
I am an Associate Professor in Computing Science at Umeå University, working at the intersection of artificial intelligence, knowledge representation, reasoning and human-centered computing.
Research
My research explores how intelligent systems can combine learning, symbolic reasoning, uncertainty and human knowledge to support reliable and understandable decision-making.
A recurring theme is the combination of formal methods with machine learning, with particular interest in reasoning under uncertainty and in AI systems whose behaviour can be examined, questioned and related to explicit knowledge.
Research interests
Research environment
Research group →I am part of the Formal Methods for Trustworthy Hybrid Intelligence research group at Umeå University. The group brings together research on neuro-symbolic AI, logic-based learning, non-monotonic and approximate reasoning, formal verification, and trustworthy AI.
Academic roles
About this lab
This website is a personal academic workspace for sharing research ideas, teaching material, experiments, prototypes and interactive tools. Some things here are polished research outputs; others are teaching experiments or exploratory work. The aim is to make parts of the work available to students, researchers and anyone interested in experimenting with AI.