I am a PhD student at Imperial College London, supervised by Azalea Raad and Nicolas Wu. Before this, I obtained my Bachelor’s degree at the University of Nottingham.

Research Interests

I am interested in theoretical computer science, particularly in

• separation logics,
• semantics of probabilistic programming languages, and
• category theory for denotational semantics.

Contact

Email: shinghin.ho21@imperial.ac.uk