HackTalk: Kiran Gopinathan (Basis)
HackTalk: Kiran Gopinathan (Basis)
Day 1 talk for the Secure Program Synthesis Hackathon, May 22-24 online. Free and open. Recording available after.
Kiran Gopinathan is a Research Scientist at Basis. Her research focuses on techniques for developing newer and better tools for automating formal verification, the art of using computers to automatically construct mathematical proofs about the correctness of software. Her 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.
Her work on fuzzing Lean is one of the reference points the hackathon's adversarial robustness track is built around. She'll be presenting Lean-Fuzz results at UNSOUND shortly after, and this talk is a preview of that work mapped onto the questions hackathon teams will be tackling over the weekend.
Format: 20 min talk + 15 min Q&A. Zoom, livestreamed and recorded.
Co-organized by Apart Research and Atlas Computing.