Marcelo Fiore

Marcelo Fiore is a Fellow at the University of Cambridge, affiliated with the Department of Computer Science and Technology. His research focuses on programming languages, semantics, and verification. He is known for his work on category theory, formal methods, and the mathematical foundations of computer science. Fiore's contributions include publications on topics such as equational logics, abstract syntax, and coherence in bicategorical structures. His academic profile can be accessed at https://www.cl.cam.ac.uk/people/mpf23, and he can be contacted via email at marcelo.fiore@cl.cam.ac.uk.

Marcelo Fiore is a Professor in Mathematical Foundations of Computer Science, specializing in theoretical computer science and category theory. His research focuses on the mathematical structures underlying computation, including abstract syntax, variable binding, and denotational semantics. He has contributed to the development of models for process calculi, such as the π-calculus, and explored the semantics of typed lambda calculus and normalisation by evaluation. His work also addresses domain theory, computational adequacy, and the algebraic structures of data types. Fiore's research bridges logic, category theory, and computer science, with applications in formal verification and the semantics of programming languages.