Skip to main content

Hugo Paquet

Hugo Paquet

Research Associate

E: hugo.paquet@cs.ox.ac.uk

Wolfson Building, Parks Road, Oxford OX1 3QD

Biography

I am a research associate, working with Sam Staton on the foundations of probabilistic programming. More broadly I am interested in the semantics of programming languages and logics, including categorical models, denotational semantics and game semantics. 

Until May 2020 I was an RA with Luke Ong, and before that (2015-2019) I was a PhD student with Glynn Winskel in the Computer Lab at the University of Cambridge, working on probabilistic concurrent game semantics. [thesis pdf] 

Selected Publications

View AllManage publications