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: A Logical Foundation and Axiomatic Semantics for Probabilistic Programming [pdf | arXiv]
Shing Hin Ho, Nicolas Wu and Azalea Raad
Preprint
Notes on the monad of measures and the category of measure kernels [pdf]
Shing Hin Ho
Unpublished
Teaching
I am a Graduate Teaching Assistant for the following modules at Imperial.- COMP70023 Scalable Software Verification (2023-2024)
- COMP70074 Prolog (2023-2024)
- COMP60007 The Theory and Practice of Concurrent Programming (2023-2024; 2024-2025)
- COMP50008 Probability and Statistics (2024-2025)
- COMP40009 Computing Practical 1 (2024-2025)
Software
stats-monad [hackage]
[github]
Description: 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.
Awards
The Corporate Partnership Programme Individual Project Prize in Computing Science (2022)
Awarded by: Imperial College London
Master's thesis award.
Services
Contact
Email: shinghin.ho21@imperial.ac.uk
[copy]
Mathstodon: @shinghin
Github: @shinghinho