Currently, I am a research associate working on the EPSRC project "Logical Difference for Ontology Versioning". Previously, I worked as a research assistant on the EPSRC project "Composing and decomposing ontologies: a logic-based approach". And even before that, I was a PhD student in the Department of Computer Science at the University of Liverpool, where I wrote a thesis on resolution-based methods for linear time temporal logics.
A more or less up-to-date list of publications is available here.
The automated theorem prover TSPASS can be found here, and the tool CEX2 is available from here.