
Registered user since Fri 12 Jun 2020
Name: Kiran Gopinathan
Country: Singapore
Affiliation: National University of Singapore
Personal website: https://www.gopiandcode.uk
Research interests: Programming Languages, Formal Verification, Coq, Bloom filters, Probability
Contributions
PLDI 2021 | Committee Member in Artifact Evaluation Committee within the Research Artifacts-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile