2026年9月29日，北京大学姜杰东助理研究员应邀作线下学术报告，报告题目为“Formalising the l-adic cohomology”。更多信息，请见海报。

姜杰东，现任北京大学数学科学学院助理研究员。博士毕业于北京大学国际数学研究中心，研究方向为基础数学，曾在算术几何领域开展研究工作。目前专注于数学形式化与人工智能辅助数学研究（AI for Math），致力于推动数学推理智能工具的构建与应用。同时也关注其他数学与AI的交叉方向。