Cheng Zhang

PhD Student

Cheng is a Ph.D. student at Boston University studying Type Theory and Formal Logic under supervision of Professor Hongwei Xi. He is interested in both Mathematics and Computer Science, especially in Logic, Type Thoery, Category Thoery and Homotopy Type Theory. Cheng graduated with a Bachelor of Arts in Mathematics with minors in Computer Science and Economics, with department honors, magna cume laude, from Wheaton College (2018).


Zhang C., Feng W., Steffens E., Landaluce A., Kleinman S., LeBlanc D. M., Lexos 2017: Building Reliable Software in Python, Conference for Computing in Small Colleges, UNH-Manchester. (2018)


View all profiles