Mathematics

hengxin
3,837
reputation
  • Nanjing, China
  • Member since December 02 2012
  • 677 profile views
  • Last seen Jan 02 '26 at 11:09

I am interested in distributed computing and formal methods.