hengxin

9,671
reputation
3
37
75

I am interested in distributed computing and formal methods.