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
Personal website: https://vivienrindisbacher.com
Research interests:Formal Verificiation, Differential Privacy
Contributions
POPL 2023-profile
View general profile
View general profile