Ping Yang is a Ph.D. candidate in Computer Science Department at Stony Brook University. She is expected to graduate in June 2005. She received her B.S. in Computer Science in 1996 from Zhongshan (Sun-Yatsen) University, and M.E. and M.S. in Computer Science from the Chinese Academy of Sciences (1999) and Stony Brook University (2001), respectively. Her research interests are in the areas of Formal Methods, Verification, Software Engineering, and Security. She received the Most Practical Paper Award at the Seventh International Symposium on Practical Aspects of Declarative Languages in 2005.