2,289
reputation
12
27

hengxin

I am interested in distributed computing and formal methods.

18
answers
31
questions
~32k
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) All Questions Answers | Votes Newest

View all questions and answers

Badges (39)

Gold

Silver

12

Rarest

Bronze

27

Rarest