Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta User
Network Profile
1,379
reputation
10
24

hengxin

I am a Ph.D. candidate majoring in Computer Science at Nanjing University, China. I am interested in distributed computing and formal methods.

Contact: hengxin0912@gmail.com

Address: Nanjing University Xianlin Campus, 163 Xianlin Avenue, Qixia, Nanjing 210023, Jiangsu, China

17
answers
29
questions
~29k
people reached

Communities (17)

Top Network Posts

Top Tags (47)

Score 15
Posts 28
Posts % 61
Score 10
Posts 5
Score 9
Posts 9
Score 7
Posts 17
Score 6
Posts 6
Score 4
Posts 18
View all tags →

Top Posts (46) All Questions Answers | Votes Newest

23 Curious about computer-assisted NP-completeness proofs Jan 31 '15
19 Why is the consensus problem so important in distributed computing? Dec 5 '12
13 Correctness proofs of classic Paxos and Fast Paxos Sep 24 '14
11 Is there algorithmic mathematical analysis? May 30 '15
10 What are the major research issues in distributed transactions? Dec 14 '14
10 Why is linearizability a safety property and why are safety properties closed sets? Feb 27 '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
7 Explaining computer science algorithms/concepts/ideas using metaphors Nov 2 '14
7 Confusions about the technique for verifying implementations of linearizable objects in [Herlihy and Wing, 1990] Nov 23 '15
View all questions and answers →

Badges (34)

Gold

—

Silver

10

Rarest

Bronze

24

Rarest

View all badges →