Justin Hsu is an associate professor of Computer Science at Cornell University. His research focuses on formal verification of probabilistic programs and quantitative programs. His work has been recognized by the EATCS Presburger Award, a Royal Society Wolfson Visiting Fellowship, a NSF CAREER award, a SIGPLAN John C. Reynolds Doctoral Dissertation award, distinguished paper awards from POPL and CAV, and industrial awards from Facebook.