1,097
reputation
2
11
27

hengxin

I am interested in distributed computing and formal methods.

4
answers
44
questions
~103k
people reached

Top tags (78)

Score 5
Posts 7
Posts % 15
Score 2
Posts 27
Score 1
Posts 8
Score 1
Posts 6
Score 1
Posts 6
Score 0
Posts 9

Top posts (48) All Questions Answers | Votes Newest

View all questions and answers

Badges (40)

Gold

2

Rarest

Silver

11

Rarest

Bronze

27

Rarest