Prof. PEI Yu Max

About

Dr Pei received his bachelor's degree in Computer Science in 1999 and his first PhD in Computer Science in 2004, both from Nanjing University, China. From 2004 to 2009, he was an Assistant Professor of the Faculty of Information Technology in Macau University of Science and Technology. In 2015, he obtained his second PhD in Computer Science from ETH Zurich, Switzerland. Dr Pei's primary research goals aim at facilitating the production of high quality software systems in the real world. During his study at Nanjing University, he devised techniques to specify temporal properties of systems and implemented tools to help check software systems against such properties. During his PhD at ETH Zurich, he co-developed techniques and tools to automatically generate quality corrections to faults in