I'm a postdoc in Artificial Intelligence at UNSW Sydney. I did my PhD with Gerhard Lakemeyer at RWTH Aachen.
My research concerns commonsense reasoning, including tractable reasoning about knowledge and actions.
In particular, I'm working on the Limbo reasoning system for tractable reasoning about incomplete knowledge, conditional belief, and actions. The theory is in this paper, the source code is on Github, and there are web-demos to play around with.
Some of my papers (a complete list is here):