Registered user since Fri 23 Dec 2022
Name:Vivien Rindisbacher
Bio:
Graduated with a bachelors degree in Computer Science from Boston University in 2022. Picked up Coq and Formal Verification during senior year. Now working in Finance at a firm in Austin, Texas.
Country:United States
Affiliation:Boston University
Research interests:Formal Verificiation, Differential Privacy
Contributions
| CoqPL 2023 | Verified Differential Privacy for Finite Computers | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2023-profile
View general profile
View general profile