About Me
I am a PhD student in Computing at Imperial College London, under the supervision of Azalea Raad and Nicolas Wu. I have broad interests in theoretical computer science, with a particular focus on logic, probability and programming language theory.
Papers
Bayesian Separation Logic
Shing Hin Ho, Nicolas Wu, Azalea Raad
POPL 2026
DRAFT
Notes on the monad of measures and the category of measure kernels
Shing Hin Ho
Unpublished
PDF
Teaching
I am a Graduate Teaching Assistant for the following modules at Imperial.- COMP40009 - Computing Practical 1 (2024-2025)
- COMP50008 - Probability and Statistics (2024-2025)
- COMP60007 - The Theory and Practice of Concurrent Programming (2023-2026)
- COMP70023 - Scalable Software Verification (2023-2024; 2025-2026)
- COMP70074 - Prolog (2023-2024)
Software
stats-monad
This package implements an unnormalized distribution monad P designed for discrete probabilistic computations. The inference is exact by enumerating all possibilities, which means it is slow and is not meant for big programs. However, the ability to enumerate over the support of a program means we can provide primitives for computing statistical properties such as independence/moments of random variables.
HACKAGE
Awards
The Corporate Partnership Programme Individual Project Prize in Computing Science (2022)
Awarded by: Imperial College London
Master's thesis award.
Imperial College Doctoral Scholarship (2022)
Services
Contact
- Email: shinghin.ho21@imperial.ac.uk COPY
- Github: @shinghinho