 |
Michael Fourman
- Position
- Professor
- Roles
- Member of Centre for Intelligent Systems and their Applications
- Member of Human Communication Research Centre
- Member of Institute for Communicating and Collaborative Systems
- Member of Laboratory for Foundations of Computer Science
- Research Interests
- Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.
- Email Address
| <Michael.Fourman | @ | ed.ac.uk> |
- Office,Telephone
- IF-3.30, +44 (0) 131 651 3266
- Informatics Research Reports
- Personal Page
|
|
