Paul Mellies is a Visiting Professor of Computer Science at NYU Shanghai and a CNRS Researcher member of the Laboratoire IRIF at the Department of Computer Science of the Université Paris Cité.
Research
Paul Mellies has done research in many diverse areas of logic, computer science and mathematics, including lambda-calculus, rewriting theory, algebraic and monadic effects in functional languages, semantics of low level languages, formal certification of machine code, game semantics, linear logic, concurrent separation logic, higher-order automata, higher categories, axiomatic homotopy theory.
He is a member of the Editorial Board of Theoretical Computer Science (TCS) and has published more than 60 research papers in journals and conferences such as Mathematical Structures in Computer Science, Annals of Pure and Applied Logic, the ACM/IEEE Symposium on Logic in Computer Science (LICS) or the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL).
Teaching
Paul Mellies teaches the Computer Architecture course and the Functional Programming course.
Publications
Nicolas Behr, Paul Mellies and Noam Zeilberger.
Convolution products on double categories and categorification of rule algebra.
Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023.
Paul Mellies
A functorial excursion between algebraic geometry and linear logic.
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS’22.
Arthur Oliveira Vale, Paul Mellies, Zhong Shao, Jérémie Koenig, and Léo Stefanesco.
Layered and Object-Based Game Semantics.
Proceedings of the 49th ACM Symposium on Principles of Programming Languages (PACMPL), Volume 6, POPL’22.
Pierre Cagne and Paul Mellies.
On Bifibrations of Model Categories.
Advances in Mathematics, Volume 370, 26 August 2020.
Paul Mellies and Léo Stefanesco.
Concurrent Separation Logic Meets Template Games.
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS’20.
Paul Mellies.
Categorical Combinatorics of Scheduling and Synchronization in Game Semantics.
Proceedings of the 46th ACM Symposium on Principles of Programming Languages (PACMPL), Volume 3, POPL’19.