Skip to main content
hengxin's user avatar
hengxin's user avatar
hengxin's user avatar
hengxin
  • Member for 11 years, 5 months
  • Last seen more than 1 year ago
Stats
2,381
reputation
0
reached
0
answers
0
questions
Loading…
About

I am interested in distributed computing and formal methods.

This user doesn’t have any gold badges yet.
11
silver badges
2
bronze badges
Posts

This user hasn’t posted yet.