I'm a research associate in the Artificial Intelligence group at The University of New South Wales in Sydney.
Before that I did a PhD (Dr. rer. nat.) under supervision of Gerhard Lakemeyer in the Knowledge-Based Systems Group at RWTH Aachen in Germany.
My research is in the area of knowledge representation and reasoning in artificial intelligence.
I'm interested in formal models of knowledge, belief and actions, as well as in decidable and tractable reasoning about them. Most of my work is on conditional belief. If you're interested, you're most welcome to check out the papers/slides/code below. Or just send me an email ☺.
I've been involved in the following courses at the Knowledge-Based Systems Group at RWTH Aachen.