Marcelo Fiore

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:


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


• Papers and talks:


• Latest


• Collection
• Algebra
• Concurrency
• Domains
• PreSheaves
• Types


• Rough Notes.

---

Teaching

• Undergraduate:


• Discrete Mathematics.


• Denotational Semantics.

• Postgraduate:


• Advanced Topics in Denotational Semantics.

---