李新锐

博士生

lixr26@sjtu.edu.cn

个人简介

  • 李新锐,2020级直博生,上海交通大学并行与分布式系统研究所。在陈海波教授的指导下,当前主要研究方向为系统软件的形式化验证。

学术经历

  • 2020.09 - 至今,上海交通大学电子信息与电气工程学院,计算机科学与技术专业,博士生,导师:陈海波
  • 2016.09 - 2020.06,中山大学计算机学院,本科生

研究方向

系统软件的形式化验证。

研究项目

获奖情况

  • 2017.09 国家奖学金 教育部