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 [here].
My recent project, AtomFS, aims to build a formally-verified concurrent file system with fine-grained locking.