85 reputation
7
bio website hengxin-blog.logdown.com
location Nanjing, China
age 28
visits member for 2 years, 6 months
seen May 17 at 12:16

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


This user has not answered any questions
Computer Science 2,538 rep 523
Theoretical Computer Science 1,040 rep 518
Mathematics 773 rep 511
TeX - LaTeX 325 rep 210
Stack Overflow 313 rep 316

6 Votes Cast

all time   by type  
6 up 2 question
0 down 4 answer