User hengxin - TeX - LaTeX Stack Exchange

hengxin

2,371

reputation

Nanjing, China
Member since December 09 2012
136 profile views
Last seen Apr 04 '24 at 15:04

I am interested in distributed computing and formal methods.