Qiancheng (Robin) Fu is a PhD candidate at Boston University’s Department of Computer Science studying under Professors Hongwei Xi and Assaf Kfoury. Before BU, Qiancheng received his Bachelor of Engineering from North China University of Technology.
Programming Languages
Type Theory
Software Verification
Substructural Logic
Qiancheng - "Chan" Cheng