Computer Science
user avatar
user avatar
user avatar
hengxin
  • Member for 9 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
9,179
reputation
430k
reached
176
answers
85
questions
Communities
View all
About

I am interested in distributed computing and formal methods.

Badges
View all badges
2
gold badges
28
silver badges
63
bronze badges
Top tags
View all tags
185
Score
84
Posts
32
Posts %
53
Score
43
Posts
16
Posts %
49
Score
26
Posts
10
Posts %
44
Score
30
Posts
11
Posts %
39
Score
20
Posts
8
Posts %
34
Score
22
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
19
How do I find my wife in a supermarket?
Jan 16, 2016
answer
19
log(n) complexity. Difficulty understanding example
Apr 3, 2017
answer
18
Formal program verification in practice
Jan 23, 2016
answer
16
If the two generals problem is unsolvable how can we human beings agree on things?
Jun 8, 2015
answer
12
What is the best solution to find whether the sum of an array is even or odd
Mar 3, 2015
answer
11
Does Deadlock imply Starvation
Dec 15, 2016
answer
10
When did polynomial-time algorithm become of interest?
Jun 22, 2015
question
10
Linear-time algorithm to find an odd-length cycle in a directed graph
May 17, 2016
answer
9
Product of a Transition System and a Finite Automaton
Apr 13, 2015
answer
8
Why is the lower bound of element uniqueness in $\Omega(n\log n)$?
Apr 3, 2017
Top network posts
View all network posts
31
Why is the "topologist's sine curve" not locally connected?
24
Curious about computer-assisted NP-completeness proofs
22
How to enforce the left-to-right node ordering in GraphViz rank layout?
21
Projection map being a closed map
20
Why is the consensus problem so important in distributed computing?

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.