Curiculum Vitae

I am Professor in the Department of Computer Science at the University of Liverpool, UK and leader of the Knowledge Representation Research Group. My research interests include description logics, ontologies, automated reasoning, temporal logic, specification and verification formalisms, proof complexity, deduction systems, and practical applications of formal methods. See also my Google Scholar profile and DBLP page.

Education

  • PhD in Mathematics. St. Petersburg State University, Russia (1999)
  • MSc Mathematics / Computer Science. St. Petersburg State University, Russia (1995)

Previous Positions

  • Liverpool University. Senior Lecturer in the Department of Computer Science, 2012–2015.
  • Liverpool University. Lecturer in the Department of Computer Science, 2003–2012.
  • Liverpool University. Postdoctoral researcher (research associate) in the Department of Computer Science, 2001–2003.
  • Steklov Institute of Mathematics, St. Petersburg. Researcher at Laboratory of Mathematical Logic, 1998–2001.
  • St. Petersburg State University. Lecturer (part-time) in the Department of Computer Science, Faculty of Mathematics and Mechanics, 2000–2001.

Teaching

Current modules

  • COMP222–Principles of computer game design and implementation
  • COMP109–Foundations of Computer Science

Past Modules

  • COMP212–Distributed systems
  • COMP210–Artificial intelligence
  • COMP110–Key skills in computer science (part-teaching)

Projects

  • Knowledge Transfer Partnership (KTP) project “Big Data Augmented Audience Verification” with Bluprint.
  • iTract: Islands of Tractability in Ontology-Based Data Access (EPSRC EP/M012646/1, 2015–18).
  • EPSRC project EP/M012646/1 “iTract: Islands of Tractability in Ontology-Based Data Access”
  • Knowledge Transfer Partnership grant “To develop, introduce and embed a data mining system capable of searching selected www channels and mapping best fit returns against desired client persona.”
  • EPSRC project EP/H043594/1 “Logical difference for ontology versioning”
  • Knowledge Transfer Partnership grant “Introduce and embed core software skills in the company to enable design and development of new and advanced equine simulators and online services.”
  • EPSRC project EP/E065279/1 “Composing and decomposing ontologies: a logic-based approach”
  • “Efficient sequent-type proof search without skolemization in classical and non-classical logics.” Nuffield Foundation

Activities

  • Co-chair of the 28th Description Logics Workshop, Athens, Greece, 2015
  • Co-chair of the 11th International Workshop on the Implementation of Logics, 2015
  • Co-chair of the 4th Workshop on Practical Aspects of Automated Reasoning, Vienna, Austria (held in connection with the Vienna Summer of Logic 2014).
  • Co-chair of the 10th International Workshop on the Implementation of Logics, Stellenbosch, South Africa (held in connection with the LPAR’13 conference).
  • Co-chair of the 2nd Workshop on Practical Aspects of Automated Reasoning (PAAR2010).
  • Co-chair of the 7th International Workshop on the Implementation of Logics, November, 2008, Doha, Qatar
  • Co-chair of the IJCAR’08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008)
  • FroCoS’07 Conference Chair
  • JELIA’06 Tool Session Chair
  • Special Issue on implementation of logics of the Journal of Applied Non-Classical Logics
  • Co-chair of the 4-th International Workshop on the Implementation of Logics, Almaty, Kazakhstan, 2003 (held in connection with the LPAR’03 conference).
  • Co-chair of the 5-th International Workshop on the Implementation of Logics, Montevideo, Uruguay, 2006 (held in connection with the LPAR’04 conference).