Skip to content

Giles Reger

  • PhD Student
  • Research Associate in First-Order Theorem Proving and Verification
  • The University of Manchester
  • 4Following

Professional experience

Research Associate in First-Order Theorem Proving and Verification

University of Manchester

January 2014 - Present

Education

PhD

School of Computer Science, The University of Manchester

September 2010 - February 2014(3 years)

MSc

School of Computer Science, The University of Manchester

September 2009 - September 2010(a year)

BA

Computer Laboratory, University of Cambridge

October 2006 - July 2009(3 years)

Following (4)