Experience
Education
Bio
I am a doctoral student in the KRR group. My research focuses on consequence-based reasoning algorithms for fast ontology classification. I work both on an efficient implementation of the algorithm for the relatively simple EL family of description logics, and on extensions of the algorithm to support additional features such as disjunctions, negations, universal restrictions, or nominals. I am one of the delevopers of ELK, an EL reasoner written in Java which uses concurrent computation for highest performance. Previously, I also developed ConDOR, an experimental reasoner written in C++ for the description logic SH. AWARDS Best student paper at DL 2012. Hoare Prize for the best overall performance in Mathematics and Computer Science in 2009 - University of Oxford. BT Prize for the best overall performance in Mathematics and Computer Science in 2008 - University of Oxford. Silver medal in ACM-ICPC 2009. First prize in VJIMC 2009.