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 | Author of Formal verification of higher-order probabilistic programs within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile