User:Starfish~enwiki

Hello, everybody. I'm a graduate student from Computer Science Department of Nanjing University, China.

My research interests are mainly in theoretical computer science, including:


 * Algorithm design and analyse
 * Computational complexity
 * Logic and formal methods