加拿大西蒙弗雷泽大学(Simon Fraser University)招收计算机博士和硕士研究生

加拿大西蒙弗雷泽大学(Simon Fraser University)计算机系助理教授Yuepeng Wang招收博士和硕士研究生，入学时间为2022年秋季。研究方向为
- 程序合成(Program Synthesis)
- 程序验证(Program Verification)
- 编程语言(Programming Languages)
- 以及上述技术在数据库中的应用

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

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

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

请感兴趣的同学发送简历和成绩单至邮箱
yuepeng@sfu.ca

非常靠谱的招生贴！欢迎大家报考王教授的PhD/MS！

顶起哈，虽然不清楚这个专业哈