Research Interests

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