Professor Marcelo Pablo Fiore

PhD
Fellow
University Professor in Mathematical Foundations of Computer Science
Subject
Computer Science
Email
Marcelo.Fiore@cl.cam.ac.uk

Research interests in mathematical models of computation; denotational and operational semantics of programming languages and interactive systems; type systems and program logics of functional and concurrent computation; applications of category theory to computer science.

 

Books: Axiomatic Domain Theory in Categories of Partial Maps. Cambridge University Press, Distinguished Dissertations in Computer Science, 1996.