hengxin

2,329
reputation
1
17
32

I am interested in distributed computing and formal methods.