Personal tools
You are here: Home People Academics Michael Fourman

Michael Fourman

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/
Document Actions