Skip to main content
hengxin's user avatar
hengxin's user avatar
hengxin's user avatar
hengxin
  • Member for 9 years, 8 months
  • Last seen more than a month ago
Stats
840
reputation
8k
reached
1
answer
17
questions
Loading…
About

I am interested in distributed computing and formal methods.

This user doesn’t have any gold badges yet.
6
silver badges
10
bronze badges
0
Score
6
Posts
33
Posts %
0
Score
4
Posts
22
Posts %
0
Score
3
Posts
17
Posts %
0
Score
3
Posts
17
Posts %
0
Score
3
Posts
17
Posts %
0
Score
3
Posts
17
Posts %
Top posts
View all questions and answers