Kiran Gopinathan Computer Science PhD Candidate @ NUS Formal Methods and Programming Languages
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.
Ilya Sergey
NUS PLSE - Programming Languages & Software Engineering @ NUS
VERSE Lab
/dev/zine
Sewen Thy
Yasunari Watanabe
/dev/zine
CertiChain
Racket Stories
sic
Yasunari Watanabe