I am a Ph.D. candidate majoring in Computer Science at Nanjing University, China. I am interested in distributed computing and formal methods.
Contact: hengxin-0912-@gmail.-com (remove the three dashes)
20 Curious about computer-assisted NP-completeness proofs jan 31 '15
12 Correctness proofs of classic Paxos and Fast Paxos sep 24 '14
9 Is linearizability equivalent to consensus problem? apr 15 '13
8 Is there some mathematical closed form (or somewhat tight asymptotic one) for “Google Eggs Puzzle”? dec 9 '12