[教授本人] 多伦多大学招全奖 ECE PhD：PL/OS/Distributed Systems/security/LLM
8812
【招生】加拿大多伦多大学（University of Toronto）电子与计算机工程系（Electrical and Computer Engineering）新晋助理教授 Jianan Yao 现招收 2025 年秋季入学的全奖博士生若干。
研究方向：
注：教授的研究内容横跨编程语言、分布式系统、机器学习、软件安全等多个领域。在研究经费允许的情形下，愿意与学生在这些范畴下探讨新的研究问题。
导师简介：
Dr. Jianan Yao (cs.columbia.edu) 将于 2025 年秋季加入多伦多大学担任电子与计算机工程系助理教授，目前 gap year 在 Amazon Web Services 担任 Applied Scientist。Jianan Yao 于哥伦比亚大学获得计算机科学硕士和博士学位，此前于清华大学获得计算机科学与技术学士学位。Jianan Yao 的研究着力于形式化验证，特别关注结合传统算法和机器学习使形式化验证更加自动化和规模化，并广泛应用于分布式系统、操作系统、量子计算架构、区块链智能合约等各个领域以确保系统软件的安全性。其成果多次发表于 OSDI, SOSP, PLDI, POPL, ICLR 等顶级会议和期刊，并获得 OSDI 2021 最佳论文奖。
学校简介：
多伦多大学创建于 1827 年，是加拿大著名的公立研究型大学。学校在各大国际排名中均居加拿大第一，世界前列（QS 25, US News 17, Times Higher Education 21, ARWU 26）。多伦多大学的计算机研究享有盛誉。共有六位图灵奖得主曾在多伦多大学学习或工作，其中提出 NP-completeness 理论的 Stephen Cook 和“人工智能教父” Geoffrey Hinton 均长期在该校任教。学校坐落于加拿大第一、北美第四大城市多伦多中心区域，毗邻唐人街，饮食、生活便利，娱乐活动丰富。
申请方式：
研究方向：
- 结合大语言模型与搜索算法自动生成数学证明，以用于形式化验证（formal verification）——一类使用数学模型验证程序的正确性的方法
- 使用形式化验证确保分布式系统与云计算架构的安全性与正确性（目前 Amazon Web Services, Microsoft Azure 等均在此方向推进）
- 探索将形式化验证应用于 zero-knowledge proofs 等密码学系统以确保安全性和隐私性
注：教授的研究内容横跨编程语言、分布式系统、机器学习、软件安全等多个领域。在研究经费允许的情形下，愿意与学生在这些范畴下探讨新的研究问题。
导师简介：
Dr. Jianan Yao (cs.columbia.edu) 将于 2025 年秋季加入多伦多大学担任电子与计算机工程系助理教授，目前 gap year 在 Amazon Web Services 担任 Applied Scientist。Jianan Yao 于哥伦比亚大学获得计算机科学硕士和博士学位，此前于清华大学获得计算机科学与技术学士学位。Jianan Yao 的研究着力于形式化验证，特别关注结合传统算法和机器学习使形式化验证更加自动化和规模化，并广泛应用于分布式系统、操作系统、量子计算架构、区块链智能合约等各个领域以确保系统软件的安全性。其成果多次发表于 OSDI, SOSP, PLDI, POPL, ICLR 等顶级会议和期刊，并获得 OSDI 2021 最佳论文奖。
学校简介：
多伦多大学创建于 1827 年，是加拿大著名的公立研究型大学。学校在各大国际排名中均居加拿大第一，世界前列（QS 25, US News 17, Times Higher Education 21, ARWU 26）。多伦多大学的计算机研究享有盛誉。共有六位图灵奖得主曾在多伦多大学学习或工作，其中提出 NP-completeness 理论的 Stephen Cook 和“人工智能教父” Geoffrey Hinton 均长期在该校任教。学校坐落于加拿大第一、北美第四大城市多伦多中心区域，毗邻唐人街，饮食、生活便利，娱乐活动丰富。
申请方式：
- 欢迎感兴趣的学生发送简历及研究背景至教授邮箱 1point3acres.com
- 正式申请请遵照官网流程：ece.utoronto.ca
2条回复