Fourman, Michael
inf.ed.ac.ukSchool of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.