Frank(Peng) Fu

My research interests are lambda calculus, type theory, interactive theorem proving, design and implementation of functional programming language


  • Ph.D. in Computer Science, the University of Iowa, 2014
  • B.Eng. in Computer Science, Huazhong University of Science and Technology, 2009
  • Quick Links

  • Notes and Articles
  • Selected publications
  • Curriculum Vitae [PDF]
  • Selected talks
  • Contact

    Email: peng-fu at

    Recent Events

  • There are no events.