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
Notes and Articles
Curriculum Vitae [PDF]
Email: peng-fu at uiowa.edu
There are no events.