Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
Theoretical 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
2,319
reputation
38k
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
14
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
All Questions Answers
Score Newest
question
24
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
31
Why is the "topologist's sine curve" not locally connected?
22
How to enforce the left-to-right node ordering in GraphViz rank layout?
21
Projection map being a closed map
19
How to center an `itemize` in beamer, together with its headline?
19
log(n) complexity. Difficulty understanding example

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.