Professor Marcelo FIORE  PhD

Fellow since 2001

University Reader in Mathematial Foundations of Computer Science

Email: mpf23 "at" cam.ac.uk

Website: http://www.cl.cam.ac.uk/~mpf23/ 

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.

Back to list of fellows