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
PDF Errata

Teaching

• COMP40009 - Computing Practical 1 (2024-2026)
• 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)

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)

Service

• POPL 2026 - External Reviewer
• POPL 2024 - Student Volunteer

Contact

• Email: shinghin.ho21@imperial.ac.uk COPY