I have been a PhD student at the University of Pennsylvania since 2016.

My research interests are differential privacy, formal verification, and functional programming.


  • FuzziDP An embedded domain specific language and a testing framework that uses probability distribution coupling and symbolic execution for push-button testing of Differential Privacy
  • Fuzzi An extensible and imperative programming language for Differential Privacy
  • DeepSpec Web Server A formally verified HTTP/2 server running on a verified OS
  • StrictCheck A Haskell library for writing and testing precise specifications of non-strictness


Blog Posts


hengchu at seas dot upenn dot edu