conf.researchr.org / Vivien Rindisbacher
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