Hugo Paquetمشاهده پروفایل
پژوهشگر
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)







