User hengxin - Computer Science Stack Exchange

hengxin

9,671

reputation

3

37

75

Nanjing, China
Member since December 07 2012
991 profile views
Last seen Jun 26 '25 at 14:55

I am interested in distributed computing and formal methods.