Registered user since Sat 16 Dec 2017
Name: Tetsuya Sato
Bio: Dr. Tetsuya Sato is a postdoctoral associate in the Computer Science and Engineering Department, University at Buffalo, SUNY. His research interests are semantics of probabilistic programming language, formal verification, and differential privacy.
Country: United States
Affiliation: University at Buffalo, SUNY, USA
Personal website: http://www.acsu.buffalo.edu/~tetsuyas/
Research interests: Differential privacy, Semantics of probabilistic programs
Contributions
POPL 2019 | Formal Verification of Higher-Order Probabilistic Programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile