Personal Information
I am currently in my third-year PhD study in Computer Science, advised by Prof. Andrew C.C. Yao.
I am under the Institute for Theoretical Computer Science (previously the theoretical computer science group) of the Department of Computer Science at Tsinghua University.
And I am as well a member of the FLINT group at Yale University directed by Prof. Zhong Shao.
Education
- 09/2004-Present: PhD candidate, Department of Computer Science and Technology, Tsinghua University.
- 08/2005-01/2006: Visiting student, Department of Computer Science, Yale University.
- 09/2000-07/2004: B. S. degree, Department of Mathematical Science, Tsinghua University, major in Information and Computational Science.
- 09/1997-06/2000: The National Experimental Science Class, Ministry of Education, China.
Research Interests
My research interests are programming languages, formal methods, as well as combinatorics.
Publications
- Hongxu Cai, Zhong Shao and Alexander Vaynberg, Certified Self-modifying Code, Proc. 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'07), San Diego, CA, 66-77, June 2007.
- Hongxu Cai and Yingchao Zhao, On Approximation Ratios of Minimum-Energy Multicast Routing in Wireless Networks, Journal of Combinatorial Optimization, 9, 243-262, 2005. [Electronic Version]
Honors & Awards
- 2005 Guang Hua Scholarship, Tsinghua University
- 2004 Outstanding Graduate, Tsinghua University
- 2004 Outstanding Graduate, Beijing City
- 2003 National Scholarship
- 2003 Honorable Mention in Mathematical Contest in Modeling (MCM)
- 2003 First Prize in National Contest in Mathematical Modeling
- 2002 Sony Scholarship, Beijing City
- 2001 Kodak Scholarship, Tsinghua University
Hobbies
I love listening to/singing/playing pop music. I like computer software and Pocket PC.
Links
NOTICE: If you are looking for my music scores, please be patient waiting for the new site out, or just contact me.
|
