8,813
reputation
2
24
55

hengxin

I am interested in distributed computing and formal methods.

176
answers
81
questions
~349k
people reached

Top tags (0)

This user has not participated in any tags.

Top posts (257)

View all questions and answers

Badges (81)

Gold

2

Rarest

Silver

24

Rarest

Bronze

55

Rarest