99 reputation
7
bio website hengxin-blog.logdown.com
location Nanjing, China
age 28
visits member for 2 years, 7 months
seen 19 hours ago

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

Contact: hengxin-0912-@gmail.-com (remove the three dashes)


Computer Science 3,086 rep 525
Theoretical Computer Science 1,112 rep 518
Mathematics 810 rep 511
Mathematica 357 rep 8
TeX - LaTeX 337 rep 1210

11 Votes Cast

all time   by type  
11 up 5 question
0 down 6 answer