个人简介

谢昊彤，2021级硕士生，现就读于上海交通大学并行与分布式系统研究所（IPADS）。在陈海波教授的指导下，当前主要研究方向为系统软件的形式化验证。

学术经历

• 2021.9 - 至今，上海交通大学软件学院，研究生（导师：陈海波）。
• 2017.9 - 2021.7，电子科技大学软件学院，本科生。

研究方向

使用形式化验证的方法来保证并发程序的正确性、终止性等性质。

研究项目

• AtomFS终止性验证（毕业设计）

助教工作

• 2019年夏 Modern IT Technology （电子科技大学）

获奖情况

• 2021.3 电子科技大学优秀毕业生
• 2020.8 第十一届中国大学生服务外包创新创业大赛 一等奖
• 2020.4 美国大学生数学建模竞赛 二等奖
• 2019.12 电子科技大学优秀学生奖学金
• 2018.12 电子科技大学优秀学生奖学金