Good day! I'm a postdoc with Maurice Pagnucco in the Artificial Intelligence group at The University of New South Wales in Sydney. I studied Computer Science at RWTH Aachen University; my doctoral advisor was Gerhard Lakemeyer.
I'm working on the formal representation of and tractable reasoning about knowledge, belief, actions and the like. I'm interested in theoretical aspects as well as practical systems.
Limbo is a reasoning system for incomplete knowledge, belief, and actions which keeps the computational complexity under control through limited belief. The theory is in the IJCAI paper, the source code (C++) is on Github, and there are web-demos to play around with.