Welcome to the personal site of Hengfeng Wei (ant-hengxin). I am a Ph.D. Candidate in Nanjing University, China. My research interests include the theory of distributed computing and formal methods.
You can find information about my research work as well as blog articles via the links at the top.
Links to my favorite sites are listed below.