User hengxin - Computer Science Stack Exchange

hengxin

9,541

reputation

3

36

73

Nanjing, China
Member since December 07 2012
940 profile views
Last seen Apr 01 '24 at 09:50

I am interested in distributed computing and formal methods.