SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Kiran Gopinathan

Registered user since Fri 12 Jun 2020

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: gopiandcode@fosstodon.org, gopiandcode@ocamlot.org (handwritten server in OCaml)

Country:Singapore
Affiliation:National University of Singapore
Personal website: https://kirancodes.me
Research interests:Programming Languages, Formal Verification, Coq, Bloom filters, Probability

Contributions

Show activities from other conferences

SPLASH 2023-profile
View general profile