Name:Kiran Gopinathan

Bio:

Kiran Gopinathan is a Research Scientist at Basis. Her research 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. Her research interests cover formal verification, program synthesis, type systems, language design and proof engineering. She previously completed her postdoc with Talia Ringer at UIUC, and before that earned her PhD in Programming Languages Research from the National University of Singapore on automating the maintenance of formally verified software.

bsky: @kirancodes.me

Country:United States

Affiliation:Basis

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