Research
Research interests
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.
Research grants
quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
October 2019 - September 2022
iTract: Islands of Tractability in Ontology-Based Data Access
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
July 2015 - November 2018
Introduce and embed core software skills in the company to enable design and development of new and advanced equine simulators and online services
RACEWOOD LIMITED (UK)
July 2010 - July 2012
Efficient sequent-type proof search without skolemization in classical and non-classical logics.
THE NUFFIELD FOUNDATION (UK)
April 2004 - September 2006
Symposium on Frontiers of Combining Systems and Workshop on First-Order Theorem Proving
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
September 2007 - November 2007
Composing and decomposing ontologies: a logic-based approach
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
July 2007 - June 2010
Logical difference for ontology versioning
ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL
September 2010 - January 2014