Skip to main content
hengxin's user avatar
hengxin's user avatar
hengxin's user avatar
hengxin
  • Member for 12 years
  • Last seen more than a month ago
Stats
9,641
reputation
532k
reached
178
answers
87
questions
Loading…
About

I am interested in distributed computing and formal methods.

3
gold badges
37
silver badges
74
bronze badges
193
Score
84
Posts
32
Posts %
55
Score
43
Posts
16
Posts %
55
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