Justin Hsu is an assistant professor of Computer Science at Cornell University. He was previously an assistant professor at UW–Madison and a postdoc at Cornell and UCL, after receiving his doctorate in Computer Science from the University of Pennsylvania. His research focuses on formal verification of probabilistic programs, including algorithms from differential privacy, protocols from cryptography, and mechanisms from game theory. His work has been recognized by an NSF CAREER award, a SIGPLAN John C. Reynolds Doctoral Dissertation award, a Facebook TAV award, and a Facebook Probability and Programming award.
Programming languages, formal verification, probabilistic programs.
Programming languages, functional programming, probabilistic programs.