Tim Heap (Research Student)
Email:
Tim Heap <Tim.Heap@ed.ac.uk>
Phone: +44 131 6 50-5150
Fax: +44 131 667 7209
- Department of Computer Science
- The University of Edinburgh
- James Clerk Maxwell Building
- King's Buildings
- Mayfield Road
- EDINBURGH, Scotland.
- EH9 3JZ
Research project title
Computer-Aided Formal Reasoning and Mathematical Foundations
Tim Heap's FTP area