798
reputation
4
10

hengxin

I am interested in distributed computing and formal methods.

1
answer
16
questions
~6k
people reached

Top tags (32)

Score 0
Posts 6
Posts % 35
Score 0
Posts 4
Score 0
Posts 3
Score 0
Posts 3
Score 0
Posts 3
Score 0
Posts 3

Top posts (17)

View all questions and answers

Badges (14)

Gold

Silver

4

Rarest

Bronze

10

Rarest