hengxin's user avatar
hengxin's user avatar
hengxin's user avatar
hengxin
  • Member for 10 years, 10 months
  • Last seen more than a week ago
Stats
9,471
reputation
488k
reached
178
answers
87
questions
Loading…
About

I am interested in distributed computing and formal methods.

2
gold badges
31
silver badges
71
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