Mini CV

Giles is a Lecturer in the Formal Methods Group of the School of Computer Science at the University of Manchester.

He graduated from the University of Cambridge with a BA in Computer Science in 2009.

He then gained an MSc in Advanced Computer Science from the University of Manchester in 2010, for which he was awarded the Highest Achiever of the Year Award.

He gained his PhD from the University of Manchester in 2014 with a thesis titled "Automata based monitoring and mining of execution traces".

He was employed as a Research Associate in First-Order Logic and Theorem Proving, working with Andrei Voronkov on the Vampire system between 2014 and 2016.

A full CV will appear here shortly - due to "shortly" having no well defined bounds, please email with any queries.