Hoogle+

Avatar
Zheng Guo
PhD student

My research interests include program synthesis, automated reasoning and programming languages.