Computer Science
hengxin's user avatar
hengxin's user avatar
hengxin's user avatar
hengxin
  • Member for 10 years, 10 months
  • Last seen more than a week ago
Profile Activity
Stats
9,471
reputation
488k
reached
178
answers
87
questions
Communities
View all
About

I am interested in distributed computing and formal methods.

Badges
View all badges
2
gold badges
31
silver badges
71
bronze badges
Top tags
View all tags
190
Score
84
Posts
32
Posts %
54
Score
43
Posts
16
Posts %
53
Score
27
Posts
10
Posts %
45
Score
30
Posts
11
Posts %
40
Score
20
Posts
8
Posts %
35
Score
22
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
20
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
12
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
question
8
How to understand the reduction from 3-Coloring problem to general $k$-Coloring problem?
Jan 1, 2013
Top network posts
View all network posts
31
Why is the "topologist's sine curve" not locally connected?
25
Curious about computer-assisted NP-completeness proofs
25
Projection map being a closed map
23
How to enforce the left-to-right node ordering in GraphViz rank layout?
21
How to center an `itemize` in beamer, together with its headline?

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.