Giles Reger

Giles Reger is a Senior Lecturer in the School of Computer Science at the University of Manchester, affiliated with the Formal Methods Group. His academic journey includes a BA in Computer Science from the University of Cambridge (2009), an MSc in Advanced Computer Science (University of Manchester, 2010) with the Highest Achiever of the Year Award, and a PhD (University of Manchester, 2014) on runtime verification.

• Research Interests: Theorem Proving (via Vampire system) and Runtime Verification (via MarQ and VyPR tools).
• Collaborations: Projects with University of Oxford, ARM, AWS, CERN, and SnT Luxembourg.

Recent Work: Giles' publications span 2019-2016, focusing on Vampire's higher-order reasoning, symmetry avoidance in finite model finding, neural guidance in theorem proving, and runtime verification for Python web services (VyPR2). Trends include integrating machine learning with formal methods and advancing logic-based verification tools.

Scientific Awards:

• Highest Achiever of the Year Award (MSc, University of Manchester, 2010)
• Vampire's multiple trophies at CASC and SMT-COMP competitions

Advising: Supervises PhD students Michael Rawson, Ahmed Bhayat, and Joshua Dawes. Labs/Teams: Contributes to the Vampire team and the VyPR project.