hengxin's user avatar
hengxin's user avatar
hengxin's user avatar
hengxin
  • Member for 11 years, 3 months
  • Last seen more than a week ago
Stats
9,521
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
191
Score
84
Posts
32
Posts %
55
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