Academic Staff

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 programs with contracts.

Dr Pei has published over a dozen of peer reviewed papers in journals like IEEE TSE, and top tier conferences including ICSE, ISSTA, ASE, FASE and VMCAI. His future research plans are directed towards advancing the techniques to automatically test and repair software systems developed in mainstream programming languages and providing tool support for their practical application.

Dr Pei has considerable experience in teaching. As an Assistant Professor at Macau University of Science and Technology, he offered courses to both undergraduate and graduate students and achieved the highest score among all the faculty members in the teaching evaluation in 2008. His teaching philosophy is to foster an environment that encourages curiosity, life-long learning, connection to the real world and pursuit of perfection.

• Bachelor of Science, Nanjing University
• Doctor of Science, Eidgenössische Technische Hochschule Zürich
• Doctor of Engineering, Nanjing University