hengxin's user avatar
hengxin's user avatar
hengxin's user avatar
hengxin
  • Member for 11 years, 2 months
  • Last seen this week
Stats
9,501
reputation
508k
reached
178
answers
87
questions
Loading…
About

I am interested in distributed computing and formal methods.

2
gold badges
35
silver badges
73
bronze badges
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