1,112 reputation
518
bio website hengxin-blog.logdown.com
location Nanjing, China
age 28
visits member for 2 years, 7 months
seen Jul 2 at 12:29

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,096 rep 525
Theoretical Computer Science 1,112 rep 518
Mathematics 810 rep 511
TeX - LaTeX 362 rep 1211
Mathematica 359 rep 8

90 Votes Cast

all time   by type  
82 up 38 question
8 down 52 answer