I am a post-doctoral researcher working on the theory of
programming languages. My research is funded by a two-year Marie Skłodowska-Curie Award under the
Paris Region
Fellowship Programme.
Previously I worked at the University of Oxford,
with Sam
Staton from June 2020 to December 2022, and with Luke
Ong from July 2019 to May 2020. Before that (2015-2019) I was a PhD student withGlynn
Winskel at the University of
Cambridge.
Some research interests: probabilistic programming for
statistical modelling, game semantics, linear logic, 2-dimensional
categories, combinatorial species, nonparametric statistical models.
Publications and preprints
Victor Blanchi and Hugo Paquet.Element-Free Probability Distributions and Random Partitions. To appear in Proceedings of the Thirty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2024. [local copy]
Hugo Paquet and Philip Saville.Effectful Semantics in Bicategories: Strong, Commutative, and Concurrent Pseudomonads. To appear in Proceedings of the Thirty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2024. [local copy][arxiv]
Marcelo Fiore, Zeinab Galal, and Hugo Paquet.Stabilized profunctors and stable species of structures. Logical Methods in Computer
Science, 2024. (Special Issue for FSCD 2022.) [doi][link]
Pierre Clairambault, Federico Olimpieri, and Hugo Paquet.From Thin Concurrent Games to Generalized Species of Structures. 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023. (Selected for the LMCS special issue.) [doi][link]
Swaraj Dash, Younesse Kaddar, Hugo Paquet, and Sam Staton.Affine Monads and Lazy Structures for Bayesian Programming. Proceedings of the ACM on Programming Languages (POPL), 2023. [pdf]
Hugo Paquet and Philip Saville.Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories. Electronic Proceedings in Theoretical Computer Science, Sixth International Conference on Applied Category Theory (ACT), 2023. [doi][link]
Marcelo Fiore, Zeinab Galal, and Hugo Paquet.A Combinatorial Approach to Higher-Order Structure for Polynomial Functors. 7th International Conference on Formal Structures for Computation and Deduction (FSCD), 2022. (Selected for the LMCS special issue.) [doi][link]
Hugo Paquet.Bi-invariance for Uniform Strategies on Event Structures. Proceedings of the 38th Conference on Mathematical Foundations of Programming Semantics (MFPS), 2022. [doi][link]
Carol Mak, C.-H. Luke Ong, Hugo Paquet, and Dominik Wagner.Densities of Almost-Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere. Programming Languages and Systems - 28th European Symposium on Programming (ESOP), 2021. [doi][link]
Hugo Paquet.Bayesian Strategies: Probabilistic Programs as Generalised Graphical Models. Programming Languages and Systems - 28th European Symposium on Programming (ESOP), 2021. [doi][pdf]
Simon Castellan and Hugo Paquet.Probabilistic Programming Inference via Intensional Semantics. Programming Languages and Systems - 26th European Symposium on Programming (ESOP), 2019. [doi][pdf]
Pierre Clairambault and
Hugo Paquet.Fully Abstract Models of the Probabilistic lambda-calculus. 27th EACSL Annual
Conference on Computer Science Logic (CSL), 2018. [doi][pdf]
Simon Castellan, Pierre Clairambault, Hugo Paquet, and Glynn Winskel.The Concurrent Game Semantics of Probabilistic PCF. 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2018. [doi][pdf]
Hugo Paquet and Glynn Winskel.Continuous Probability Distributions in Concurrent Games. Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS), 2018. [doi][pdf]
Alessio Lomuscio and Hugo Paquet.Verification of Multi-Agent Systems via SDD-based Model Checking (Extended Abstract). AAMAS 2015. [doi]
Thesis
My thesis is about a theory of games for semantics known as concurrent games, based on event structures.
The main contribution is a cartesian closed bicategory of probabilistic strategies, which gives a semantics for languages with continuous distributions. The manuscript is available here.
