个人简介

• 邹沫，博士生三年级，上海交通大学并行与分布式系统研究所。在陈海波教授的指导下，当前主要研究方向为系统软件的形式化验证。

学术经历

• 2013.09 - 2017.06，上海交通大学软件学院，本科生，导师：陈海波
• 2017.09 - 至今， 上海交通大学电子信息与电气工程学院，计算机科学与技术专业，博士生，导师：陈海波

研究方向

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

发表工作

• [SOSP] Using Concurrent Relational Logic with Helpers for Verifying the AtomFS File System. Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, and Haibo Chen. In SOSP ’19: ACM Symposium on Operating Systems Principles, October 27–30, 2019, Huntsville,Ontario, Canada. ACM, New York, NY, USA

助教工作

• 2018.09 - 2018.01 上海交通大学 软件学院 计算机系统工程 （本科生）

• 2018.02 - 2018.06 上海交通大学 软件学院 操作系统 （本科生）

• 2016.09 - 2017.01 上海交通大学 软件学院 编译原理与实现（本科生）

获奖情况

• 2019.11 杨嘉墀奖学金
• 2016.10 董氏东方奖学金 国家励志奖学金 上海交通大学二等奖学金
• 2015.11 第八届英特尔杯软件创新大赛一等奖
• 2015.10 心动特等奖学金 上海交通大学二等奖学金
• 2015.04 美国大学生数学建模大赛二等奖
• 2014.12 国家励志奖学金 上海交通大学二等奖学金
• 2014.09 转正成为中共正式党员