1. 2004 William C. Carter Award - IEEE & IFIP.
   This award is presented annually, with the citation, "to recognize an individual who has made a significant contribution to the field of dependable computing through his or her graduate dissertation research". This award is sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing and IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance. The award honors the late William C. Carter, a key figure in the formation and development of the field of dependable computing.



2. 2004 National Award for Outstanding Overseas Students- Ministry of Education of China.
   This award is presented annually, with the citation, "to recognize outstanding Chinese overseas self-financing students who have made excellent academic achievements". In the United States, there are 45 recipients, four of which major in computer sciences. In the University of Texas at Austin, I am the only winner. (co-recipient)
   [Some photos taken during the ceremony]



3. 2005 George H. Mitchell Award for Excellence in Graduate Research - The University of Texas at Austin.
   This award is presented annually, with the citation, "to recognize outstanding graduate students for the pursuit and achievement of excellence in research. For this award, research is interpreted broadly and applicants are judged on the basis of outstanding contributions to their field of study". This award is sponsored by the University Co-op Society. (co-recipient)
   [Photo with Dr. Larry R. Faulkner, the President of UT-Austin]
   [On Daily Texan Newspaper (page 5) - April 18, 2005]



4. 2005 James C. Browne Outstanding Graduate Student Fellowship - The University of Texas at Austin.
   This award is presented annually to recognize outstanding graduate students in the Department of Computer Sciences. (co-recipient)