Feng Xinyu, male, born in 1978, currently works as a professor and doctoral supervisor at the School of Computer Science and Technology, University of Science and Technology of China (USTC). Feng obtained his B.S. and M.S. degrees from Nanjing University respectively in 1999 and 2002. In 2007, Feng received his Ph.D. from Yale University. From July 2001 to January 2002, Feng undertook research as a Research Assistant at the Hong Kong Polytechnic University. From September 2007 to May 2010, Feng undertook research as a Research Assistant Professor at the Toyota Technological Institute at Chicago (TTIC). Feng joined the faculty of USTC in May 2010. At present, Prof. Feng is mainly engaged in research on program verification, concurrency theory, and programming language theory. He has authored more than a dozen research papers published in or presented to such journals or famous international conferences as POPL, PLDI, ESOP, ICFP and CONCUR. Besides, Feng also serves on the program committees of APLAS'11, LOLA'11, TASE'09 and APLAS'08.