``In life, there is no sign called less or greater; there is only a sign called inequality, because everyone is completely unique."
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
Michigan State University
East Lansing, MI 48824, United States
Software Engineering and Network System (SENS) Laboratory
Department Computer Science and Engineering
Michigan State University