加拿大西蒙菲莎大学(Simon Fraser University)招收CS全奖博士研究生

加拿大西蒙菲莎大学(Simon Fraser University)计算机系助理教授Yuepeng Wang招收全奖博士研究生，入学时间为2026年秋季。研究方向为
- 程序验证(Program Verification，证明给定程序满足用户要求）
- 程序合成(Program Synthesis，根据用户要求自动生成程序）
- 编程语言(Programming Languages)
- 以及上述技术在数据库中的应用

Yuepeng Wang博士毕业于美国德克萨斯大学奥斯汀分校，曾在宾夕法尼亚大学做博士后，有多篇学术论文发表在编程语言和数据库顶级会议POPL，PLDI，OOPSLA，VLDB上。
个人主页: cs.sfu.ca

西蒙菲莎大学(SFU)是加拿大著名的公立研究型大学，位于不列颠哥伦比亚省的温哥华地区。CSRankings根据论文发表情况给出的CS专业排名显示SFU在加拿大排第4位( csrankings.org )。SFU主校区位于本拿比山上，风景秀丽，环境优美，校园基础设施完善，生活非常便利，乘车30分钟可达温哥华市区。作为加拿大西部的国际化大城市，温哥华有很多高科技公司，就业环境极好。另外，温哥华地区云集了世界各地的美食，不论是品尝异域特色还是家乡风味，相信这里都会给你惊喜。

希望你
- 有良好的编程能力，熟练掌握至少一门编程语言
- 有良好的数学和逻辑学基础
- 有毅力，有探索未知事物的热情

请感兴趣的同学在网上提交申请并发送简历和成绩单至邮箱
1point3acres.com