Marcelo Fiore
Professor in Mathematical Foundations of Computer Science,
Department of Computer Science and Technology,
University of Cambridge
Fellow of
Christ's College
Research
- Interests:
Mathematical models of computation;
denotational and operational semantics of programming languages and
interactive systems;
type systems and program logics for functional and concurrent
computation;
applications of category theory to computer science.
-
Book:
- Papers and talks:
-
Rough Notes.
Teaching