I am a PhD student and a DReaMer at the School of Informatics in Edinburgh, supervised by David Aspinall and Gudmund Grov.

My research interests are in the field of Interactive Theorem Proving. More specifically, I am interested in developing refactoring techniques for formal proofs in analogy with refactoring for programming languages. I am also interested in hierarchy as a means to help explain proof.

You can find out more about my research here and a little bit more about me here (soon).

My research is sponsored by a Microsoft Research project: ‘Proof Engineering: Refactoring Proof’.

I also contribute to CompuCast, a Computer Science podcast.

You can find me in Room 2.05 of the Informatics Forum.

My email address is i dot whiteside at sms.ed.ac.uk