Yi Huang

``You cannot change the world without first changing yourself."

Research advisors

Research interests

Synchronization models for service-oriented architectures (SOAs); formal methods for specification and validation of concurrent systems

Other interests

ACM International Collegiate Programming Contest: I won one silver medal and two bronze medals in Asian regional contests; and after I retired from the contest, I served as a coach for younger teams in 2004 and 2005.
Online problem solving and contests: I like coding and competing online to entertain and refresh my mind. Two of the online judging systems that I often visit are acm.jlu.edu.cn (username SIYEE) and acm.uva.es (username 38256VN).
Web design and development: I taught Web Programming for a community school (in China) in 2001 and 2002. Later and before I received my Bachelor's degree, I designed and developed several web sites, such as acm.jlu.edu.cn (2002). I am now ISSTA 2009 webmaster.

Contact me

3312 Engineering Building
Michigan State University
East Lansing, MI 48824, United States