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