Computer Science
Profile Activity
Meta user
Network profile
8,813
reputation
2
24
56

hengxin

I am interested in distributed computing and formal methods.

176
answers
81
questions
~347k
people reached

Communities (18)

Top network posts

Top tags (157)

Score 177
Posts 84
Posts % 33
Score 52
Posts 43
Score 43
Posts 26
Score 42
Posts 30
Score 35
Posts 20
Score 31
Posts 20
View all tags →

Top posts (257)

All Questions Answers
Votes Newest
19 log(n) complexity. Difficulty understanding example Apr 3 '17
19 How do I find my wife in a supermarket? Jan 16 '16
16 If the two generals problem is unsolvable how can we human beings agree on things? Jun 8 '15
15 Formal program verification in practice Jan 23 '16
12 What is the best solution to find whether the sum of an array is even or odd Mar 3 '15
9 Does Deadlock imply Starvation Dec 15 '16
9 When did polynomial-time algorithm become of interest? Jun 22 '15
9 Product of a Transition System and a Finite Automaton Apr 13 '15
8 Updating an MST $T$ when the weight of an edge not in $T$ is decreased Jun 6 '15
8 Is it possible to simulate a fair coin with a finite number of tossing of a biased one? Sep 1 '18
View all questions and answers →

Badges (82)

Gold

2

Rarest

Silver

24

Rarest

Bronze

56

Rarest

View all badges →