conf.researchr.org / Zach Susag
Registered user since Mon 12 Sep 2022
Name:Zach Susag
Country:United States
Affiliation:Grinnell College
Personal website: https://www.zacharysusag.net
Research interests:Formal Verification, Probabilistic Programs, Differential Privacy
Contributions