Hugo Paquet
hugo.paquet@cl.cam.ac.uk
I am a PhD student with Glynn Winskel in the Computer Lab at the University of Cambridge. I am working on denotational semantics, in particular game semantics, for probabilistic computation. I am also interested in probabilistic programming.
Publications
- Probabilistic Programming Inference via Intensional Semantics, with Simon Castellan. ESOP 2019. (PDF)
- Fully Abstract Models of the Probabilistic Lambda-Calculus, with Pierre Clairambault. CSL 2018. (PDF)
- Continuous Probability Distributions in Concurrent Games, with Glynn Winskel. MFPS 2018. (PDF)
- The Concurrent Game Semantics of Probabilistic PCF, with Simon Castellan, Pierre Clairambault, and Glynn Winskel. LICS 2018. (PDF)
- Verification of Multi-Agent Systems via SDD-based Model Checking (Extended Abstract), with Alessio Lomuscio. AAMAS 2015. (PDF)
Some talks
- Probabilistic Programming Inference via Intensional Semantics. Workshop on Languages for Inference (LAFI), January 2019.
- Comparing Strategies and Böhm Trees in a Probabilistic Setting. GaLoP XIII Workshop, April 2018.
- The Concurrent Game Semantics of Probabilistic PCF. Mathematical Foundations Seminar, University of Bath, November 2017.
- Forgetting Causality in the Concurrent Game Semantics of Probabilistic PCF. GaLoP XII Workshop, April 2017.
- Concurrent Game Semantics of Probabilistic PCF and Relational Collapse. CHoCoLa Meeting, ENS Lyon, March 2017.
Teaching
I regularly supervise the following courses: Logic and Proof (sheet1, sheet2, sheet3), Discrete Mathematics (sheet1, sheet2), Semantics, Denotational Semantics, and Hoare Logic and Model Checking.