Michael Fourman

The face

The background

Nationality:

British

Branchs:

Logic, Computer Science, Artificial Intelligence, Cognitive science, Formal models of digital systems, System design tools, Proof assistants, Categorical semantics

Period:

21st century

The synopsis