===== Mo Zou (邹沫) =====


Ph.D Candidate\\
[[http://ipads.se.sjtu.edu.cn/|IPADS]]\\
Shanghai Jiao Tong University\\
800 Dongchuan Road, Minhang District, Shanghai, P.R.China\\
Zip/Postal Code: 200240\\
Email: [[lostzoumo@gmail.com]]


===== About Me =====

I am a fourth-year Ph.D. student in the Software Engineering at Shanghai Jiaotong University. I work in the Institute of Parallel And Distributed System (IPADS), adviced by Prof. Haibo Chen. My research mainly focuses on system verification. My cv can be found [{{:pub:members:cv-mo_zou.pdf|here}}].

[[http://ipads.se.sjtu.edu.cn/zh/pub/members/mo_zou/|中文主页]]

===== Projects =====

My recent project, [[https://ipads.se.sjtu.edu.cn/pub/projects/atomfs|AtomFS]], aims to build a formally-verified concurrent file system with fine-grained locking.

===== Publications =====
  * [**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