User hengxin - Mathematics Stack Exchange

hengxin

3,777

reputation

Nanjing, China
Member since December 02 2012
631 profile views
Last seen Jun 26 '25 at 14:56

I am interested in distributed computing and formal methods.