VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Giles Reger

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

Contributions

CPP 2016 The Vampire and the FOOL
Show activities from other conferences

POPL 2016-profile
View general profile