No photo of Giles Reger

Giles Reger


Personal profile


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)

My group


I welcome applications for PhD and MSc students to work on areas related to my research. I encourage potential applicants to review the proposed projects on the school website. You may also like to propose your own projects in areas such as theorem proving, program verification, temporal logic and dynamic analysis. My research always has a practical element, either via tool development or application of techniques to real software. 

Additionally, there may be future funding available for postdoctoral opportunities. If you are interested please get in touch.

Research Beacons, Institutes and Platforms

  • Digital Futures


Dive into the research topics where Giles Reger is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or