I teach two courses in St Catz, namely Machine Learning and Artificial Intelligence. In the past I taught also Knowledge Representation & Reasoning (lectures, exercises, and tutorials).
Artificial Intelligence (AI) and, in particular, Knowledge Representation and Reasoning (KRR) has quickly fascinated me and became the main source of my intellectual pleasure. My research is devoted to designing formal logical languages, studying their computational properties, and developing efficient reasoning algorithms for them. I am especially interested in methods for complex reasoning about time. Time is ubiquitous in our everyday lives, in the way we perceive and reason about the surrounding world, as well as how our AI algorithms do it. Consequently the topic of time brings together computer scientists, mathematical logicians, and philosophers, among others, providing a fascinating research area.