conf.researchr.org / Vivien Rindisbacher
![Vivien Rindisbacher](https://conf.researchr.org/getProfileImage/vivienrindisbacher/535276cd-1186-4b3e-a5f0-342e758e44ae/small.jpg?1712306987000)
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