Prof. PEI Yu Max

Associate Professor · Department of Computing

Hong Kong Polytechnic University · Hong Kong

Research GroupsResearch Centres and LabsProjects HighlightExternal Research GrantsResearch Postgraduate Study

简介

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

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。