Registered user since Wed 21 Mar 2018
Name: Giles Reger
Bio: I am currently a Research Associate in First-Order Theorem Proving and Verification in the Formal Methods Group in the School of Computer Science at the University of Manchester. I work on the Vampire first-order ATP system.
I was previously a PhD student in the same group. Read about my PhD work here.
I live in Sheffield with my wife Clare, who is doing a PhD in Distributed/Community Energy Schemes in the department of Town Planning, University of Sheffield.
Affiliation: University of Manchester
Personal website: http://www2.cs.man.ac.uk/~regerg/index.html
|CPP 2016||Author of The Vampire and the FOOL within the CPP-track|
|Show activities from other conferences|
View general profile