680 reputation
511
bio website hengxin-blog.logdown.com
location Nanjing, China
age 28
visits member for 2 years
seen 2 days ago

I am is a Ph.D. candidate majoring in Computer Science at Nanjing University, China. I am mainly interested in distributed computing and formal methods.


88 Votes Cast

all time   by type  
88 up 29 question
0 down 59 answer