| Position: | Professor |
| Role: | Member |
| E-mail: | Michael.Fourman@ed |
| Office(s): | IF-3.30 |
| Phone(s): | (+44 131 6)515615 |
| Research Interests: | Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning. |
| Homepage: | http://homepages.inf.ed.ac.uk/mfourman/ |
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