Who am I?

Hi, I'm Kiran Gopinathan, I'm a PhD candidate at the School of Computing at NUS.

I've had past experience in a range of disciplines within the field, from interoperable data format design to industrial machine learning; my current main focus lies within the use of formal methods for reasoning about probabilistic algorithms.

In particular, questions that really pique my interest relate to how these formal methods can be used to build and construct provably correct probabilistic algorithms.


The following are publications I have contributed to:

  • Ceramist: Certifying Certainty and Uncertainty in Approximate Membership Query Structures - to be published and presented at CAV2020 later this year pdf
  • Probchain: Towards Mechanising Probabilistic Properties of a Blockchain - published and presented at CoqPL 2019 pdf
  • FHIR-FLI: An Open Source Platform for Sharing Healthcare Data - published and presented at ICT4AWE 2018

Curriculum Vitae

The latest copy of my CV can be found here.

Contact Me

Feel free to send me an email at "kirang-at-comp-dot-nus-dot-edu-dot-sg".