张洺铨 2024级直博生

本科就读于四川大学数学学院，就读专业为数学与应用数学（基地班）。在校期间成绩优异，多次获得国家奖学金。

本科期间主要科研经历：

2021年加入四川大学“创新2035”先导计划（信息软件与底层算法计划）

2022年北京大学应用数学拔尖本科生暑期科研录取（董彬教授课题：基于深度学习的视频压缩）

2023年北京大学应用数学拔尖本科生暑期科研录取（AI4Math项目：利用人工智能技术推动数学形式化和定理证明的发展）