Regular biography
Giles Reger is a Senior Lecturer in the Department of Computer Science at The University of Manchester. His research focuses on formal methods, a field central to the development of reliable and secure software systems. As a member of the academic community at The University of Manchester, he contributes to the teaching and research activities within the department. His work reflects the university's commitment to advancing knowledge in computer science and related disciplines.
Scholar-generated biography
Giles Reger is a researcher specializing in Theorem Proving, Program Verification, and Runtime Monitoring. His work focuses on developing methods for verifying program correctness through formal techniques and runtime monitoring. He has contributed to the design of efficient runtime monitors, such as Quantified Event Automata (QEA), and has been involved in organizing international competitions on runtime verification. His research also explores the integration of SMT solvers and automated reasoning techniques in verification tools. Reger's publications address challenges in monitoring events with data, improving the expressiveness and efficiency of runtime verification systems.