Rod Burstall
Position
Professor Emeritus
Research Interests
Computer-aided proof and its relation to type theory, specification-based development of correct programs.
Email Address
<rburstall@inf.ed.ac.uk>
Office,Telephone
Personal Page


Home : People 

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