| Position: | Professor Emeritus |
| Role: | Member |
| E-mail: | rburstall@inf (add .ed.ac.uk for real email) |
| Office(s): | IF-2.20 |
| Phone(s): | (+44 131 6)515 619 |
| Research Interests: | Computer-aided proof and its relation to type theory, specification-based development of correct programs. |
| Homepage: | http://www.dcs.ed.ac.uk/~rb/ |
This page is generated from the School of Informatics Database. If you think that some information is incorrect, please contact the database administrator.
An error occured whilst processing this directive