2,069
reputation
2
16
30

hengxin

I am interested in distributed computing and formal methods.

4
answers
47
questions
~133k
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 (48)

Gold

2

Rarest

Silver

16

Rarest

Bronze

30

Rarest