Prof. Hong Mei received his Bachelor’s degree and Master’s degree in Computer Science from Nanjing University of Aeronautics & Astronautics (NUAA) in 1984 and 1987, respectively, and a PhD in Computer Science from Shanghai Jiao Tong University in 1992. From 1987 to 1989, he worked at NUAA as a research assistant. In 1992, he joined Peking University (PKU) as a ... Read morepost-doctoral research fellow. From 1994 to present, he has worked at the Department of Computer Science and Technology and the School of Electronics Engineering and Computer Science in PKU, becoming an associate professor in 1994 and full professor in 1997. In 2005, he became a "Chang Jiang Scholars Program" professor of the Ministry of Education. In 2011, he was elected as a member of the Chinese Academy of Sciences. In 2013, he was elected as a Fellow of the World Academy of Sciences for the advancement of science in developing countries. In 2014, he was named an IEEE Fellow. He served as Dean of the School ofElectronics Engineering and Computer Science at PKU from 2006-2014, and is currently the Director of the Key Laboratory of High Confidence Software Technologies of Ministry of Education (MOE) at PKU.  He acted as the Chief Scientist for two projects sponsored by the National Basic Research Program of China (973 Program), i.e., "Research on theory and methodology of agent-based middleware on Internet Platform” (2002-2008) and “Research on the trustworthiness, quality-of-service, development methodologies, and runtime mechanisms of the network-based complex software systems” (2009-2013), respectively, where he was responsible for coordinating more than 100 scientists and researchers. His current research interests include software engineering and system software. In the past years, Prof. Mei has received numerous awards for his contributions to research and education. Jian Lü is a Full Professor and the Executive Vice President of NanjingUniversity, China. He received his BSc, MSc and PhD degrees from Nanjing University in 1982, 1985 and 1988, respectively. In 2000, he was selected into the "Chang-Jiang Scholars Program" of the Ministry of Education, and in 2013 elected as a member of the Chinese Academy of Sciences. He has been serving as the Director of the National Key Laboratory for Novel Software Technology since 1995, which has been recognized and ranked as a top IT laboratory in ongoing national evaluations. He has led the Innovative Research Group "Research for Software Methodology and Technology for the Internet", founded by the National Natural Science Foundation of China, since 2009. Prof. Lü’s research interests include various topics in software engineering, such as formal methods, software methodology and system software. He has published over 150 papers in refereed journals and conferences. In recognition of his research achievements, Prof. Lü has earned numerous prizes and awards, including two National Science and Technology Progress Awards and the Ho Leung Ho Lee Foundation’s Prize for Scientific and Technological Progress. He currently serves on the editorial boards of journals and technical committees of conferences, and was once a Board Member of the International Institute for Software Technology of United Nations University. Currently, he is also the Vice Chairman of the Council of China Computer Federation, where he works to promote the overall advancement of computer science research in China. Show Less