hengxin

1,747
reputation
2
18
40

I am interested in distributed computing and formal methods.