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

admin

注册大润晟泽论坛，查看更多干货！
您需要 登录 才可以下载或查看附件。没有帐号？注册账号



x

本帖最后由 milkyway 于 2023-11-23 15:28 编辑

加拿大西蒙菲莎大学(Simon Fraser University)计算机系助理教授Yuepeng Wang招收全奖博士和硕士研究生，入学时间为2024年秋季。研究方向为
  - 程序合成(Program Synthesis，根据用户要求自动生成程序）
  - 程序验证(Program Verification，证明给定程序满足用户要求）
  - 编程语言(Programming Languages)
  - 以及上述技术在数据库中的应用
Yuepeng Wang博士毕业于美国德克萨斯大学奥斯汀分校，曾在宾夕法尼亚大学做博士后，有多篇学术论文发表在编程语言和数据库顶级会议POPL，PLDI，OOPSLA，VLDB上。
个人主页: https://www.cs.sfu.ca/~yuepeng广告


西蒙菲莎大学(SFU)是加拿大著名的公立研究型大学，位于不列颠哥伦比亚省的温哥华地区。CSRankings根据论文发表情况给出的CS专业排名显示SFU在加拿大排第4位( https://csrankings.org/#/index?all&ca )。SFU主校区位于本拿比山上，风景秀丽，环境优美，校园基础设施完善，生活非常便利，乘车30分钟可达温哥华市区。作为加拿大西部的国际化大城市，温哥华有很多高科技公司，就业环境极好。另外，温哥华地区云集了世界各地的美食，不论是品尝异域特色还是家乡风味，相信这里都会给你惊喜。
希望你
  - 有良好的编程能力，熟练掌握至少一门编程语言
  - 有良好的数学和逻辑学基础
  - 有毅力，有探索未知事物的热情
请感兴趣的同学在网上提交申请并发送简历和成绩单至邮箱
yuepeng@sfu.ca