hengxin
Stats
9,003
reputation
390k
reached
176
answers
81
questions
Loading…
About

I am interested in distributed computing and formal methods.

2
gold badges
25
silver badges
60
bronze badges

Top tags (157)

Score 184
Posts 84
Posts % 33
Score 53
Posts 43
Score 47
Posts 26
Score 43
Posts 30
Score 38
Posts 20
Score 31
Posts 22

Top posts (257)

View all questions and answers