In my research I am interested in applying techniques from automated theorem proving, logic and complexity theory to knowledge representation and reasoning, and in particular for reasoning in description logics and ontology languages. I have been mainly working on the development of resolution-based procedures for various fragments of first-order logic with Hans de Nivelle and for description logics with Boris Motik. Recently, I have been working with Bernardo Cuenca Grau, Ian Horrocks and Ulrike Sattler on the topic of modularity in ontolgies.
I am a Research Associate at the Oxford University Computing Laboratory. Previously I have been a Research Associate at the University of Manchester and a PhD student in the Max-Planck-Institut für Informatik, Saarbrücken, Germany. I obtained my PhD degree in computer science from the University of Saarland in Germany and my bachelor degree in mathematics in from the Moscow State University in Russia.
