Skip to main content
hengxin's user avatar
hengxin's user avatar
hengxin's user avatar
hengxin
  • Member for 11 years, 6 months
  • Last seen this week
Stats
2,391
reputation
203k
reached
4
answers
48
questions
Loading…
About

I am interested in distributed computing and formal methods.

3
gold badges
22
silver badges
42
bronze badges
7
Score
7
Posts
13
Posts %
2
Score
27
Posts
52
Posts %
1
Score
8
Posts
15
Posts %
1
Score
6
Posts
12
Posts %
1
Score
6
Posts
12
Posts %
0
Score
10
Posts
19
Posts %
Top posts
View all questions and answers