Marcelo Fiore

Marcelo Fiore is a Professor in Mathematical Foundations of Computer Science at the Department of Computer Science and Technology, University of Cambridge, and a Fellow of Christ's College. His research spans category theory, lambda calculus, equational logic, type theory, and mathematical structures in computer science.

• University: University of Cambridge
• Department: Department of Computer Science and Technology
• Academic Rank: Professor
• College Affiliation: Christ's College

Fiore's work focuses on the intersection of category theory and computer science, particularly in abstract syntax, denotational semantics, and algebraic structures. Recent publications explore combinatorial models, normalization by evaluation, and homotopy type theory applications.

• 2025: Creation/annihilation operators in mathematical structures
• 2024: Lawvere theories in toposes and differential linear logic
• 2023: Homotopy type theory and normalization frameworks
• 2022: Second-order abstract syntax formalization and quotient types

Fiore has advised PhD students including N. Arkor (2022) and O.M. Elsayed (2011), who researched monadic structures and second-order algebraic theories respectively. He contributes to departmental initiatives such as the Accelerate Programme for Scientific Discovery and Data Trusts Initiative at Cambridge.