3,047
reputation
17
34

hengxin

I am interested in distributed computing and formal methods.

18
answers
91
questions
~105k
people reached

Top tags (116)

Score 21
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 (51)

Gold

Silver

17

Rarest

Bronze

34

Rarest