Programming Languages Lab · Peking University
D.Eng Student · Class of 2025
I am a D.Eng student in the Programming Languages Lab at Peking University, advised by Prof. Hu Zhenjiang. I am currently working on research related to program verification in CStar team.