About me

I am Professor in the Departmnet 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.

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).

Recent activities