Hongxu Cai

Ph.D. Candidate

Building FIT, Room 4-609

Tsinghua University

Beijing, 100084, China

Tel: 86-10-62797304

Email: cai{at}itcs.tsinghua.edu.cn

Hongxu's photo

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.


  • 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.


  • 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


I love listening to/singing/playing pop music. I like computer software and Pocket PC.


Copyright 2007 by Hongxu Cai

NOTICE: If you are looking for my music scores, please be patient waiting for the new site out, or just contact me.

Valid XHTML 1.0 Strict