User hengxin - Mathematica Stack Exchange

hengxin

840

reputation

6

10

Nanjing, China
Member since November 12 2014
54 profile views
Last seen Nov 24 '23 at 03:20

I am interested in distributed computing and formal methods.