Name:Kiran Gopinathan

Country:Singapore

Affiliation:National University of Singapore

Research interests:Programming Languages, Formal Verification, Coq, Bloom filters, Probability