学校介绍
Simon Fraser University是加拿大著名的公立研究型大学，地处温哥华，是加拿大气候最好的地方
温哥华作为加拿大西部的国际化大城市，云集了世界各地的美食，不论是品尝异域特色还是家乡风味都首屈一指
【为什么说温哥华是世界最宜居住的地方之一】https://www.zhihu.com/question/267245634/answer/998177411
导师个人介绍
(申请数学系或计算机系都可以)
陈武阳博士 (https://delta-lab-ai.github.io/) 于2024年夏季加入Simon Fraser University计算机系担任助理教授。2023 - 2024年，陈武阳博士加入UC Berkeley统计系作为博士后。陈武阳本科毕业于中国科学技术大学，并于2023年获得美国德州大学奥斯汀分校电子计算机工程系的博士学位。陈武阳博士的工作发表于各大顶会期刊 (NeurIPS, ICML, ICLR, JMLR, CVPR, ICCV, ECCV), 他的研究成果在2022年被美国国家科学基金会 (National Science Foundation, NSF) 的网站新闻报道, 并获得多项科研奖项 (two Doctoral Dissertation Awards from INNS and iSchools, AAAI New Faculty Highlights, Nvidia Academic Grant Award). 陈武阳博士在多次在国际会议上组织研讨会 (NeurIPS, ICLR, CVPR).
实验室提供的支持:
- 和导师一对一的研究指导, 充足的研究经费和GPU算力支持
- 和其它知名高校和研究机构的顶级课题组的合作交流
- 在工业界的实习机会
孙蔚然博士（https://weiran-sun.github.io/）于2012年加入Simon Fraser University数学系， 现数学系教授。孙蔚然本科毕业于中国科学技术大学数学系，于2008年获得University of Maryland数学系博士学位，并于2009年加入芝加哥大学数学系作为博士后。孙蔚然的工作发表于偏微分方程分析和数值计算顶刊（ARMA, CMP, JCP, SIMA）并多次组织国际会议。
孙蔚然的研究方向为偏微分方程分析和计算，尤其注重于动力学方程研究。目前指导的学生侧重于动力学方程分析。
研究方向
我们旨在利用大语言模型（LLMs）的最新进展，革新偏微分方程（PDE）分析的自动化水平和效能。PDE 是航空航天工程、流体动力学和量子力学等学科中建模复杂物理系统的基础工具；然而，目前的分析工作仍需领域专家大量的手动干预，导致过程既耗时又易于出错。本项目致力于通过四个针对性的研究方向来突破这些局限：
- 系统化的数据收集；
- PDE 在数学框架下的形式化 (Lean Automated Theorem Proving)；
- 大语言模型 (LLM) 推理策略的应用；
- 多尺度 PDE 系统的严谨分析。
通过利用大语言模型来解析自然语言问题描述、形式化数学表达式，并运用推理能力解决与 PDE 相关的挑战，本研究旨在实现更易普及、更具扩展性且更稳健的 PDE 解决方案，最终提升 PDE 应用在各科学和工程领域的实际覆盖范围及可靠性。
对学生的预期:
- 有扎实的偏微分方程背景和其它数学基础 (线性代数, 微积分, 测度论，泛函分析)
- 有充分的编程经验 (已掌握常用深度学习工具的使用, PyTorch, Huggingface)
- 有强烈的科研热情和做出高质量研究的愿望
如何申请和联系我们
博士申请链接: (申请数学系或计算机系都可以)
数学系 截止日期 : 2026年1月16日
https://www.sfu.ca/math/graduate/prospective/admissions.html
计算机系 截止日期 2026年1月19日: https://www.sfu.ca/fas/study/future-graduates/apply/computing-science.html
如果对Simon Fraser University或研究课题有问题, 请通过邮件 (weiran_sun@sfu.ca, wuyang@sfu.ca) 联系我们
