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

hengxin

I am interested in distributed computing and formal methods.

176
answers
81
questions
~349k
people reached

Communities (18)

Top network posts

Top tags (0)

This user has not participated in any 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 (81)

Gold

2

Rarest

Silver

24

Rarest

Bronze

55

Rarest

View all badges →