2026年6月30日至7月3日，加州大学圣塔芭芭拉分校杨旭教授应邀作线下短期课程，课程题目为“Asymptotic Analysis and AI-Assisted Formalization”。更多信息，请见海报。

杨旭，加州大学圣塔芭芭拉分校数学系教授。长期从事应用分析与数值计算的研究。工作以物理动机为导向，涵盖从半经典分析、波传播、高频计算，到地震成像、量子动力学与材料科学建模等多个前沿方向。曾在普林斯顿大学和纽约大学库朗研究所从事博士后研究。在Frozen Gaussian方法、光子石墨烯、带有随机扰动的薛定谔方程及多尺度量子系统建模方面取得了系列性成果。