Vivien Rindisbacher

Registered user since Fri 23 Dec 2022

Name:Vivien Rindisbacher

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


Show activities from other conferences

POPL 2023-profile
View general profile