Computer Science
Profile Activity
Meta user
Network profile
8,635
reputation
2
23
55

hengxin

I am interested in distributed computing and formal methods.

176
answers
80
questions
~333k
people reached

Communities (18)

Top network posts

Top tags (154)

Score 175
Posts 84
Posts % 33
Score 51
Posts 43
Score 43
Posts 26
Score 42
Posts 30
Score 34
Posts 20
Score 30
Posts 20
View all tags →

Top posts (256)

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 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 Does Deadlock imply Starvation Dec 15 '16
8 Updating an MST $T$ when the weight of an edge not in $T$ is decreased Jun 6 '15
8 Compute square root using (bit) additions and shifts as primitives Sep 27 '14
View all questions and answers →

Badges (80)

Gold

2

Rarest

Silver

23

Rarest

Bronze

55

Rarest

View all badges →