Skip to main content
Computer Science
hengxin's user avatar
hengxin's user avatar
hengxin's user avatar
hengxin
  • Member for 12 years
  • Last seen more than a month ago
Profile Activity
Stats
9,631
reputation
532k
reached
178
answers
87
questions
Communities
View all
About

I am interested in distributed computing and formal methods.

Badges
View all badges
3
gold badges
37
silver badges
74
bronze badges
Top tags
View all tags
193
Score
84
Posts
32
Posts %
55
Score
43
Posts
16
Posts %
55
Score
27
Posts
10
Posts %
45
Score
30
Posts
11
Posts %
40
Score
20
Posts
8
Posts %
36
Score
22
Posts
8
Posts %
Top posts
View all questions and answers
answer
22
Formal program verification in practice
Jan 23, 2016
answer
20
log(n) complexity. Difficulty understanding example
Apr 3, 2017
answer
19
How do I find my wife in a supermarket?
Jan 16, 2016
answer
17
If the two generals problem is unsolvable how can we human beings agree on things?
Jun 8, 2015
answer
13
What is the best solution to find whether the sum of an array is even or odd
Mar 3, 2015
answer
12
Does Deadlock imply Starvation
Dec 15, 2016
answer
11
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
9
Why is the lower bound of element uniqueness in $\Omega(n\log n)$?
Apr 3, 2017
Top network posts
View all network posts
35
Why is the "topologist's sine curve" not locally connected?
28
Projection map being a closed map
25
Curious about computer-assisted NP-completeness proofs
24
How to enforce the left-to-right node ordering in GraphViz rank layout?
23
How to center an `itemize` in beamer, together with its headline?