美国罗切斯特理工大学Yinxi Liu研究组招生网络安全方向博士研究生

Yinxi Liu博士将于今年7月从香港中文大学计算机科学与工程系博士毕业，师从；并将在今年8月加入罗切斯特理工学院（Rochester Institute of Technology）网络安全系（Department of Cybersecurity）成为助理教授（独立PI）。她曾于微软亚洲研究院软件分析组、西蒙菲莎大学Tianzheng Wang教授组、以及南方科技大学实习/访问。

Yinxi Liu博士的研究兴趣主要集中在软件安全领域；主要研究方向是如何通过精细的漏洞触发条件建模, 显著降低安全分析在某些特定场景下的复杂度。她的研究涉及到计算机安全、编程语言、软件工程以及算法复杂度等多个领域的交叉话题，如安全审计、程序分析、测试输入生成和算法的最高复杂度。在博士期间，她对以下几个方面进行了深度探索：

在算法复杂度方面，她为正则表达式和Java程序中有可能触发最高复杂度的程序结构进行建模，为检测正则表达式中的性能问题提供了首个最坏情况多项式复杂度的解决方案。
在构建测试输入方面，她针对触发深层次漏洞的问题，首次注意到控制流中的间接依赖关系的重要影响并提出针对性解决方案。
最近，她的研究由单一程序转向多个程序之间的交互。有智能合约分析的文章在投，也有做了一半的新项目。

关于Yinxi Liu博士的研究成果的具体介绍，大家可以点击👇查看：

在博士四年期间，她的三项研究成果以第一作者发表于安全顶级会议IEEE S&P和ACM CCS, 开发的程序分析技术已发现数百个安全漏洞，并在2022年获得了微软亚洲研究院奖学金提名奖。

Yinxi Liu博士个人主页：https://yinxi.site/

学校简介

罗切斯特理工是美国历史上第二古老的私立理工大学。网络安全方向的最新U.S. News排名为第19位，CSRankings排名为第46位。新成立的网络安全研究院提供最顶级的设施，有世界顶级靶场网络，许多攻防比赛与公司委托的安全测试都在这里进行。学校有拿过全美冠军的CTF队，是学习安全攻防最理想的地方！历届学生出路极好。工业界常见的去向有Google, Amazon, Salesforce等；学术界（教职，非博后）近两年有圣母大学, 夏威夷大学，杜兰大学等世界知名大学。

顶级靶场网络

现代化会议室

招生要求：

岗位：全奖博士生，名额充足，入学时间灵活（24Fall/25Spring/25Fall）