user avatar
user avatar
user avatar
hengxin
  • Member for 9 years, 5 months
  • Last seen more than a month ago
Stats
2,239
reputation
164k
reached
4
answers
47
questions
Loading…
About

I am interested in distributed computing and formal methods.

2
gold badges
19
silver badges
38
bronze badges
6
Score
7
Posts
14
Posts %
2
Score
27
Posts
53
Posts %
1
Score
8
Posts
16
Posts %
1
Score
6
Posts
12
Posts %
1
Score
6
Posts
12
Posts %
0
Score
10
Posts
20
Posts %
Top posts
View all questions and answers