Justin Hsu

Registered user since Thu 2 Jul 2015

Name: Justin Hsu

Country: United States

Affiliation: University College London

Personal website: https://www.justinh.su

Research interests: Formal Verification, Differential Privacy, Randomized Algorithms

Contributions

POPL 2018 Synthesizing Coupling Proofs of Differential Privacy
Proving Expected Sensitivity of Probabilistic Programs
Proving expected sensitivity of probabilistic programs
Show activities from other conferences

POPL 2018-profile
View general profile