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 2018 Formal Methods For Probabilistic Programming
Show activities from other conferences

POPL 2018-profile
View general profile