Zhichao Guan
vbcpascal@outlook.com
I am Ph.D. student at Peking University, a member of Programming Languages Lab. I am advised by Prof. Zhenjiang Hu. My main interest is in programming languages, and type systems, formal semantics, program verification in particular. I am working on topics related to simplifying DSL and IDE implementation. Welcome to discuss with me!
My email address consists of the first three languages I learned: Visual Basic, C/C++, and Pascal.
Education
- Ph.D. Student in Computer Science, 2021-
Programming Languages Lab, School of Computer Science, Peking University
- BSc in Computer Science, 2017-2021
School of EECS, Peking University
Publications
- Ziyi Yang, Yushuo Xiao, Zhichao Guan and Zhenjiang Hu (2022). A Lazy Desugaring System for Evaluating Programs with Sugars. In FLOPS.
Will be more, I think so ...