About
Hugo Paquet is a Researcher at INRIA Paris and a member of the ANTIQUE team at École Normale Supérieure, PSL University. He completed a PhD in Computer Science (2015–2019) at the University of Cambridge under Glynn Winskel, focusing on concurrent game semantics for probabilistic programming. His postdoctoral work includes positions at LIPN, Paris (2022–2024, funded by a Marie Skłodowska-Curie Award) and University of Oxford (2020–2022). He has contributed to conferences including LICS, ESOP, FSCD, and POPL.
- Education: PhD in Computer Science (University of Cambridge, 2019)
- Research Interests: Probabilistic programming (semantics, inference algorithms, nonparametric models), categorical semantics (game semantics, concurrency models, adjunctions), combinatorial species, and 2-dimensional categories.
- Teaching: Category Theory (2023–2024), Bayesian Statistical Probabilistic Programming (2021–2022), Lambda-calculus and Types (2020–2021), and small-group teaching at Cambridge (Logic, Discrete Mathematics, Semantics).
- Awards:
- Marie Skłodowska-Curie Award under the Paris Region Fellowship Programme
- Labs:
- INRIA Paris, ANTIQUE team (2024–present)
0Publications listed
