556 reputation
215
bio website hengxin-blog.logdown.com
location Nanjing, China
age 28
visits member for 1 year, 10 months
seen 8 hours 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.


43 Votes Cast

all time   by type   month   week  
39 up 16 question 1 1
4 down 27 answer