introduction

I’m Haojun Ma, I’m a reserach scientist at Meta.

I got my Ph.D. candidate from University of Michigan in 2022. My advisor is Prof. Manos Kapritsos. In 2017, I got my bachelor’s degree from ACM Honors Class at Shanghai Jiao Tong University.

My research involves formal methods and distributed systems. I’m making formal verification of distributed systems more automatic. Now, we can verify Paxos semi-automatically. You can also check my CV.