Research Interests
See Projects for a list of current (and old) projects I am involved in.
The below is a bit outdated. Whilst I am still interested in all of those things, I have added new interests. To get a good overview see my projects and publications.
I am interested in a broad range of topics from both the applied and theoretical aspects of computer science. These include
- Automated Theorem Proving (first-order)
- Saturation-based techniques generally
- Reasoning with theories and quantifiers e.g. extended calculi and integration of SMT solvers
- (Finite) Model finding
- Collaborative and Concurrent proof attempts
- Applications to program verification
- I work on the Vampire theorem prover
- Runtime Monitoring/Verification
- Temporal specification languages
- Monitoring algorithms, focussing on indexing and parallelism
- See the related project page
- I work on the MarQ monitoring tool
- Specification Mining/Inference
- Type Theory
- Programming Language Design