Name:Kiran Gopinathan

Bio:

Kiran Gopinathan is a fifth-year PhD student at the School of Computing at NUS. Her research work focuses on techniques for developing newer and better tools for automated formal verification – the art of using computers to automagically construct mathematical proofs about the correctness of software.

Fediverse: kirancodes@transfem.social

Country:Singapore

Affiliation:National University of Singapore

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