I am an assistant professor and member of the Programming, Logic and Intelligent Systems research group in the Department of People and Technology at Roskilde University , Denmark.
Previously, I was a postdoctoral researcher at the School of Computing Science at Simon Fraser University in Burnaby, BC, Canada (2019-2021), and at the Knowledge-Based Systems Group at RWTH Aachen University , Germany (2013-2019), where I also acquired my PhD (2013).
My research is in Knowledge Representation and Reasoning, a subarea of Artificial Intelligence that studies how an agent's knowledge can be represented symbolically and subsequently manipulated through reasoning algorithms. Among other things, my work is concerned with reasoning about action and change, reasoning about beliefs, planning, agent program verification, and machine ethics.