8,478
reputation
1
22
53

hengxin

I am interested in distributed computing and formal methods.

176
answers
79
questions
~297k
people reached

Top tags (154)

Score 172
Posts 84
Posts % 33
Score 50
Posts 43
Score 40
Posts 30
Score 40
Posts 26
Score 34
Posts 20
Score 30
Posts 20

Top posts (255) All Questions Answers | Votes Newest

View all questions and answers

Badges (76)

Gold

1

Rarest

Silver

22

Rarest

Bronze

53

Rarest