Stack Overflow
Stack Overflow

hengxin
1,747
reputation
2
18
40
  • Nanjing, China
  • Member since November 18 2012
  • 213 profile views
  • Last seen Jan 19 '22 at 05:51

I am interested in distributed computing and formal methods.