2,299
reputation
1
13
31

hengxin
Loading…

I am interested in distributed computing and formal methods.

18
answers
31
questions
~36k
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 (45)

Gold

1

Rarest

Silver

13

Rarest

Bronze

31

Rarest