hengxin's user avatar
hengxin's user avatar
hengxin's user avatar
hengxin
  • Member for 11 years, 4 months
  • Last seen more than a week ago
Stats
3,687
reputation
178k
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.
26
silver badges
49
bronze badges
43
Score
23
Posts
21
Posts %
5
Score
8
Posts
7
Posts %
3
Score
16
Posts
15
Posts %
2
Score
21
Posts
19
Posts %
1
Score
20
Posts
18
Posts %
1
Score
9
Posts
8
Posts %
Top posts
View all questions and answers