Stack Overflow
Stack Overflow

hengxin
1,867
reputation
2
21
42
  • Nanjing, China
  • Member since November 18 2012
  • 238 profile views
  • Last seen Aug 17 '23 at 09:01

I am interested in distributed computing and formal methods.