I am a research associate, working with Luke Ong on probabilistic programming languages and inference.
More broadly I am interested in the semantics of programming languages and logics, including categorical models, denotational semantics and game semantics.
Probabilistic Programming Inference via Intensional Semantics
Simon Castellan and Hugo Paquet
In Programming Languages and Systems − 28th European Symposium on Programming‚ ESOP 2019‚ Held as Part of the European Joint Conferences on Theory and Practice of Software‚ ETAPS 2019‚ Prague‚ Czech Republic‚ April 6−11‚ 2019‚ Proceedings. Pages 322–349. 2019.
Continuous Probability Distributions in Concurrent Games
Hugo Paquet and Glynn Winskel
In Electr. Notes Theor. Comput. Sci.. Vol. 341. Pages 321–344. 2018.
Fully Abstract Models of the Probabilistic lambda−calculus
Pierre Clairambault and Hugo Paquet
In 27th EACSL Annual Conference on Computer Science Logic‚ CSL 2018‚ September 4−7‚ 2018‚ Birmingham‚ UK. Pages 16:1–16:17. 2018.