hengxin

2,371
reputation

I am interested in distributed computing and formal methods.