8,635
reputation
2
23
55

hengxin

I am interested in distributed computing and formal methods.

176
answers
80
questions
~333k
people reached

Top tags (154)

Score 175
Posts 84
Posts % 33
Score 51
Posts 43
Score 43
Posts 26
Score 42
Posts 30
Score 34
Posts 20
Score 30
Posts 20

Top posts (256)

View all questions and answers

Badges (80)

Gold

2

Rarest

Silver

23

Rarest

Bronze

55

Rarest