83 reputation
6
bio website hengxin-blog.logdown.com
location Nanjing, China
age 27
visits member for 1 year, 9 months
seen Aug 14 at 13:42

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.


This user has not answered any questions

3 Votes Cast

all time   by type  
3 up 0 question
0 down 3 answer