Basic info

See my University of Ulm Web page for more up-to-date information.

Since April 2012 I'm a postdoctoral researcher in the Institute of Artificial Intelligence at the University of Ulm, Germany. I work on the project "Live Ontologies" together with Yevgeny Kazakov (in particular, I'm involved in development of ELK - the world's fastest concurrent OWL 2 EL reasoner).

Previously I've been a Semantic Web postdoc at the University of Arizona and also a part-time researcher at Clark & Parsia's Boston office. I got my PhD from the School of Computer Science at the University of Manchester, UK in 2011 (under the brilliant supervision of Bijan Parsia and Uli Sattler).

My PhD thesis is Practical Reasoning in Probabilistic Description Logic (best thesis award 2011, School of CS, Uni of Manchester)

I can be reached at: <my first name> "you know what to put here"
Research interests                                                                               Curriculum Vitae
  • Automated reasoning, formal logics of sorts (description logic, modal logics, probabilistic logics), reasoning under uncertainty, knowledge representation and AI
  • Math programming and constraint optimization (esp. its applications to probabilistic deduction in Nilsson-style probabilistic logics [1])
  • OWL and ontologies: reasoning, modularity and decomposition, query answering
  • Other aspects of Semantic Web (mostly RDF, linked data, and SPARQL)
Current professional activities
Selected recent publications (see also the DBLP record with links to some e-versions)
Short bio

I'm a native of the beautiful city of Moscow, Russia, where I spent the first 21 years of my life and graduated from MEPhI. I then moved to CERN (yes, that big nuclear lab in Geneve) where I was working as a Java software developer. I still like to think that it was my contribution to the LHC project (we did a resource planning Web app for it). It was at CERN where I decided to try to do some grad studies and finally went to the US to begin my PhD. The first PhD school was the University of Cincinnati, where I was working with Dr. Larry Mazlack and Dr. Julia Taylor. I did my coursework and even passed the qualifiers before moving the Uni of Manchester -- probably the best place on earth for anyone interested in description logic, OWL, or essentially anything related to logic in KR. I graduated in April 2011 and took the job at C&P and Arizona, where I stayed for 13 months before finally moving to Ulm.

I've not yet been able to spend more than 3 years at one place. Maybe it's a good thing. Maybe it will stop sooner rather than later (although my wife has so far been wonderfully tolerant to this kind of life style!) 

Other interests

I'm a football aficionado. Always been, will always be. And, yes, I refuse to call it "soccer".