申倬豪

本科生

ao7777@sjtu.edu.cn

个人简介

  • 申倬豪,本科生四年级,上海交通大学并行与分布式系统研究所。在王肇国教授的指导下,当前主要研究方向为形式化验证。

学术经历

  • 2018.09 - 至今,上海交通大学软件学院,本科生,导师:王肇国

研究方向

使用形式化验证的方法来保证系统软件的正确性。

获奖情况

  • 2019.10 国家奖学金 致远荣誉奖学金 上海交通大学B等奖学金
  • 2019.12 全国大学生数学竞赛 (非数学类)上海赛区三等奖
  • 2020.10 致远荣誉奖学金 华为奖学金 上海交通大学B等奖学金
  • 2021.10 致远荣誉奖学金 鹰角奖学金 上海交通大学B等奖学金