User hengxin - Mathematics Stack Exchange

hengxin

3,687

reputation

26

49

Nanjing, China
Member since December 02 2012
578 profile views
Last seen Mar 31 '24 at 03:11

I am interested in distributed computing and formal methods.