Michael Fourman is a Professor of Computer Science at the University of Edinburgh, where he is currently Head of Informatics (Artificial Intelligence, Cognitive Science, and Computer Science). As a founding Director of Abstract Hardware Limited (now Abstract Inc.), he was the principal architect of both the LAMBDA proof assistant, and the DIALOG design assistant. In addition to his work on the application of computer-assisted formal reasoning to suystem design, he has contributed to the development of categorical logic, to the application of category theory to semantics, and to the promulgation and commercial exploitation of the Standard ML programming language.
Email address: email@example.com
|You are not logged in|
|©2002-2018 U.C. Regents|