Daniel Selsam

Registered user since Wed 3 Jan 2018

Name: Daniel Selsam

Country: United States

Affiliation: Stanford University

Personal website: http://stanford.edu/~dselsam/

Contributions

PPS 2018Author of Formal Methods For Probabilistic Programming within the PPS 2018-track
Show activities from other conferences

POPL 2018-profile
View general profile