user avatar
user avatar
user avatar
hengxin
  • Member for 9 years, 5 months
  • Last seen more than a month ago
Stats
9,179
reputation
430k
reached
176
answers
85
questions
Loading…
About

I am interested in distributed computing and formal methods.

2
gold badges
28
silver badges
63
bronze badges
185
Score
84
Posts
32
Posts %
53
Score
43
Posts
16
Posts %
49
Score
26
Posts
10
Posts %
44
Score
30
Posts
11
Posts %
39
Score
20
Posts
8
Posts %
34
Score
22
Posts
8
Posts %
Top posts
View all questions and answers