hengxin

3,777
reputation

I am interested in distributed computing and formal methods.