3,157
reputation
20
35

hengxin

I am interested in distributed computing and formal methods.

18
answers
91
questions
~114k
people reached

Top tags (116)

Score 24
Posts 23
Posts % 21
Score 5
Posts 8
Score 2
Posts 21
Score 2
Posts 16
Score 1
Posts 20
Score 1
Posts 9

Top posts (109)

View all questions and answers

Badges (55)

Gold

Silver

20

Rarest

Bronze

35

Rarest