Daniel Selsam

Registered user since Wed 3 Jan 2018

Name:Daniel Selsam
Country:United States
Affiliation:Stanford University

Contributions

PPS 2018 Author of Formal Methods For Probabilistic Programming within the PPS 2018-track