Programming Languages Lab · Peking University

Duan Bingjie

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.