乔治华盛顿大学 ｜ 周杰老师招收系统安全与编译器方向博士生
乔治华盛顿大学 (George Washington University, 简称 GWU) 计算机系周杰老师招收 2025 夏季/秋季以及 2026 春季/夏季/秋季入学的博士生。 研究方向为系统与软件安全, 编译器, 以及程序分析。 此项目除了全额奖学金之外还会提供每月 3400 到 3900 美元的生活补助。
导师简介
周杰老师于 2024 年秋季加入乔治华盛顿大学计算机系担任 Assistant Professor， 研究专注于使用编译器以及编程语言技术提升系统软件的安全。 他于 2023 在罗彻斯特大学 (University of Rochester) 计算机系取得博士学位， 师从 LLVM 编译器框架最早期的开发者之一 John Criswell 教授。 博士期间，他为 C 语言扩展了新的安全指针类型; 这个项目为 C 语言提供了高效以及全面的时序性内存安全保证，并且得到了微软研究院的资金支持。 在罗彻斯特大学之前，他于 2015 年在厦门大学自动化系取得学士学位。
他在接下来五年的研究重点会放在两个方向：
- 提升 Rust 语言对软件安全的支持。包括优化 Rust 语言本身以及其编译器，尤其是基于 Rust 类型系统的程序分析以及解决 Rust 与 C/C++ 交互带来的兼容性和安全性问题。
- 给 C/C++ 提供完整，高效，以及自动化的内存安全。
学校简介
乔治华盛顿大学于 1821 年建校，是美国历史悠久的一所私立研型综合大学。学校主校区地处美国首都华盛顿市中心， 距离白宫步行 20 分钟。学校周边环境安全，整洁，交通便利。计算机系的安全研究一直是强势和重点方向。 系内老师与谷歌，微软，亚马逊等企业和机构有合作关系，为学生提供参与重大项目与实习的机会。 华盛顿以及周边的弗吉尼亚和马里兰地区是美国最适合华人生活的地区之一。四季分明，气候宜人。 有全世界各国的美食，以及丰富的文化艺术展览和活动。 三个机场拥有到美国绝大多数城市以及到世界大多数主要城市的直飞航班。 火车三小时以内可达纽约市中心。
招生要求
必备项：1. 对计算机系统方向有强烈的兴趣。2. 扎实的系统底层知识与编程能力。
加分项：有编译器/程序分析/系统与软件安全相关项目经验。
招生优势
- 除了研究的方向, 周杰老师还会提供具体的技术细节指导。
- 宽松自由的工作环境。不要求学生每天都来实验室，也不会在晚上和周末以及节假日要求学生汇报项目进展。
- 华盛顿地区是美国最适合华人生活的地理位置之一。
联系
有兴趣的同学请继续阅读英文招生介绍， 内含更多的技术细节以及博士生培养原则等其他信息。 阅读之后仍有兴趣的同学欢迎联系 jie.zhou@gwu.edu.