8,813
reputation
2
24
56

hengxin

I am interested in distributed computing and formal methods.

176
answers
81
questions
~347k
people reached

Top tags (157)

Score 177
Posts 84
Posts % 33
Score 52
Posts 43
Score 43
Posts 26
Score 42
Posts 30
Score 35
Posts 20
Score 31
Posts 20

Top posts (257)

View all questions and answers

Badges (82)

Gold

2

Rarest

Silver

24

Rarest

Bronze

56

Rarest