个人简介

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

学术经历

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

研究方向

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

发表工作

• [OSDI] Using Dynamically Layered Definite Releases for Verifying the RefFS File System. Mo Zou, Dong Du, Mingkai Dong, Haibo Chen. In OSDI’24.

• [软件学报] 基于锁耦合遍历算法的文件系统终止性验证。邹沫,谢昊彤,魏卓然,陈海波。软件学报,2022,33(8):2980-2994

• [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 上海交通大学 软件学院 编译原理与实现（本科生）

获奖情况

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