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.
Writings
Notes on the monad of measures and the category of measure kernels [pdf]
Shing Hin Ho
Abstract.
In mathematical folklore, the space of all measures over a measurable
space forms a monad. These notes formalize this result and prove that the
monad is not strong. Furthermore, we show that the family of functions
mapping measures to their (maximal) product measure is not measurable.
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)
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]