2,109
reputation
2
16
31

hengxin

I am interested in distributed computing and formal methods.

4
answers
47
questions
~136k
people reached

Top tags (85)

Score 6
Posts 7
Posts % 14
Score 2
Posts 27
Score 1
Posts 8
Score 1
Posts 6
Score 1
Posts 6
Score 0
Posts 10

Top posts (51)

View all questions and answers

Badges (49)

Gold

2

Rarest

Silver

16

Rarest

Bronze

31

Rarest