2,289
reputation
12
28

hengxin

I am interested in distributed computing and formal methods.

18
answers
31
questions
~34k
people reached

Top tags (50)

Score 16
Posts 30
Posts % 61
Score 10
Posts 5
Score 9
Posts 18
Score 9
Posts 9
Score 6
Posts 6
Score 4
Posts 20

Top posts (49)

View all questions and answers

Badges (40)

Gold

Silver

12

Rarest

Bronze

28

Rarest