Computer Science
hengxin
Profile Activity
Stats
9,003
reputation
390k
reached
176
answers
81
questions
About

I am interested in distributed computing and formal methods.

Communities (18)

Top network posts

2
gold badges
25
silver badges
60
bronze badges
View all badges

Top tags (157)

Score 184
Posts 84
Posts % 33
Score 53
Posts 43
Score 47
Posts 26
Score 43
Posts 30
Score 38
Posts 20
Score 31
Posts 22
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
18 Formal program verification in practice Jan 23 '16
16 If the two generals problem is unsolvable how can we human beings agree on things? Jun 8 '15
12 What is the best solution to find whether the sum of an array is even or odd Mar 3 '15
10 Does Deadlock imply Starvation Dec 15 '16
10 When did polynomial-time algorithm become of interest? Jun 22 '15
9 Product of a Transition System and a Finite Automaton Apr 13 '15
9 Linear-time algorithm to find an odd-length cycle in a directed graph May 17 '16
8 Updating an MST $T$ when the weight of an edge not in $T$ is decreased Jun 6 '15
View all questions and answers →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.