Skip to main content
Theoretical 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
2,329
reputation
42k
reached
18
answers
31
questions
Communities
View all
About

I am interested in distributed computing and formal methods.

Badges
View all badges
1
gold badge
17
silver badges
32
bronze badges
Top tags
View all tags
16
Score
30
Posts
61
Posts %
11
Score
5
Posts
10
Posts %
10
Score
18
Posts
37
Posts %
9
Score
9
Posts
18
Posts %
6
Score
6
Posts
12
Posts %
4
Score
20
Posts
41
Posts %
Top posts
View all questions and answers
question
25
Curious about computer-assisted NP-completeness proofs
Jan 31, 2015
question
19
Why is the consensus problem so important in distributed computing?
Dec 5, 2012
question
13
Correctness proofs of classic Paxos and Fast Paxos
Sep 24, 2014
question
11
Is there algorithmic mathematical analysis?
May 30, 2015
question
10
What are the major research issues in distributed transactions?
Dec 14, 2014
question
10
Why is linearizability a safety property and why are safety properties closed sets?
Feb 27, 2014
question
9
Is linearizability equivalent to consensus problem?
Apr 15, 2013
question
8
Is there some mathematical closed form (or somewhat tight asymptotic one) for "Google Eggs Puzzle"?
Dec 9, 2012
question
7
Explaining computer science algorithms/concepts/ideas using metaphors
Nov 2, 2014
question
7
Confusions about the technique for verifying implementations of linearizable objects in [Herlihy and Wing, 1990]
Nov 23, 2015
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
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?
23
What are the components and path components of $\mathbb{R}^{\omega}$ in the product, uniform, and box topologies?