Andrew Ireland
Position
Honorary Fellow
Research Interests
Proof by mathematical induction and its application to the formal development of computer systems. In particular, the Proof Plans theorem proving technique and its use in exploiting failure productively in the search for proofs.
Email Address
<air@dai.ed.ac.uk>
Office,Telephone


Home : People 

Please contact us with any comments or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh