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
9,561
reputation
520k
reached
178
answers
87
questions
Loading…
About

I am interested in distributed computing and formal methods.

3
gold badges
36
silver badges
73
bronze badges
192
Score
84
Posts
32
Posts %
55
Score
43
Posts
16
Posts %
54
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