夏壁灿

单位：北京大学

研究方向：程序与混成系统验证，自动定理证明，计算机代数

邮箱：xbc@math.pku.edu.cn

个人主页：https://dics.pku.edu.cn/ryzc/qtjy/x/110324.htm