Dr Giles Reger

Lecturer in Computer Science

Full contact details
View graph of relations


Giles is a Lecturer in the Formal Methods Group of the School of Computer Science at the University of Manchester. He graduated from the University of Cambridge with a BA in Computer Science in 2009. He then gained an MSc in Advanced Computer Science from the University of Manchester in 2010, for which he was awarded the Highest Achiever of the Year Award. He gained his PhD from the University of Manchester in 2014 with a thesis titled "Automata based monitoring and mining of execution traces". He was employed as a Research Associate in First-Order Logic and Theorem Proving, working with Andrei Voronkov on the Vampire system between 2014 and 2016.

Further information

I have two main research areas.

Theorem Proving

  • Reasoning with quantifiers and first-order theories such as arithmetic
  • Model finding in (multi-sorted) first-order logic and theories
  • Collaborative (concurrent) proof search
  • Novel utilisation of SAT and SMT solvers in first-order theorem provers
  • Applications to program analysis and verification

Runtime Verification

  • Temporal specification languages and their properties
  • Monitoring algorithms, focussing on indexing and parallelism
  • Specification mining, focussing on properties using data
  • Violation explanation
  • Evaluation methods (competition and benchmarking)

Related information


Research output: Contribution to conferenceAbstract

Research output: Chapter in Book/Report/Conference proceedingChapter

Research output: Contribution to journalConference article

View all (39)


Activity: Participating in or organising event(s)Organising a conference, workshop, exhibition, performance, inquiry, course etc

View all (1)

Student Theses

View all (1)