Student life at Michgan:

• Finally I graduated from the University of Michigan. (1)
• At the Cheng's farewell party. (1).
• Bye, bye! Ann Arbor. (1), (2).
• On my defense day.
• At my office.
• With my roommate Cheng.
• My first days in Ann Arbor.

Go Blue:

• With the Vice President of UofM and President of M Alumni Association at a reception in Shanghai, May 2006 (1, 2) .
• Can you find me? (1).
• Go Tommy! I love you!
• With Lavel Branchard, a true Michigan Man!
• Hail to Victory.
• At Lawson Ice Arena, WMU. My blood is maize and blue and it will never be changed! (1).

Travel:

• At World Congress on Formal Methods in Toulouse, France, Sept., 1999.
• At Paris. Sept., 1999.
• At Monte Verita and Zurich, Switzerland, March 2000.
• At London. Oct., 2000.
• At Eurocast, Las Palmas de Gran Canaria, Canary Islands, Spain, February 2001.
• At downtown in Amsterdam, Netherland, Feb 2001.
• At COMPSAC, Oxford University, England, Aug 2002.