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