user avatar
user avatar
user avatar
hengxin
  • Member for 9 years, 5 months
  • Last seen more than a month ago
Stats
3,417
reputation
143k
reached
18
answers
91
questions
Loading…
About

I am interested in distributed computing and formal methods.

This user doesn’t have any gold badges yet.
22
silver badges
40
bronze badges
31
Score
23
Posts
21
Posts %
5
Score
8
Posts
7
Posts %
2
Score
21
Posts
19
Posts %
2
Score
16
Posts
15
Posts %
1
Score
20
Posts
18
Posts %
1
Score
9
Posts
8
Posts %
Top posts
View all questions and answers