Computer Laboratory

Hugo Paquet

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.



I am currently supervising Logic and Proof (sheet1, sheet2, sheet3) and Discrete Mathematics (sheet1, sheet2).

Previously I have supervised Semantics, Denotational Semantics, and Hoare Logic and Model Checking.