Iain Whiteside

 
 

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


 

Website maintained by Iain Whiteside. Last updated: 9th January 2013. Please email comments/corrections.

Me and my research