1. Home
  2. Computer
  3. Computer Science
  4. Fourman, Michael

Computer · Computer Science

Fourman, Michael

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Share

About Fourman, Michael

Fourman, Michael- School of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.

Tags

A

Where it sits

Computer Computer Science

More in Computer Science

See all →