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

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


  • 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


  • Keep Your Laziness in Check

    By Kenneth Foner, Hengchu Zhang, Leonidas Lampropoulos

    Proceedings of the ACM on Programming Languages Volume 2 Issue ICFP, September 2018

Blog Posts


hengchu at seas dot upenn dot edu