Title:Professor, Academician of Chinese Academy of Science
Institute:Institute of Software
Research Interests:Operating systems, software engineering
Phone:86-10-6275 6233
E-mail:yang
sei.pku.edu.cn
Title:Professor, Academician of Chinese Academy of Science
Institute:Institute of Software
Research Interests:Software Engineering and System Software
Phone:86-10-6275-3048
E-mail:meihpku.edu.cn
Title:Professor
Institute:Institute of Software
Research Interests:Formal methods, reasoning about uncertainty
Phone:86-10-6276 5818
E-mail:caoyzpku.edu.cn
Title:Professor
Institute:Institute of Software
Research Interests:Operating systems, software engineering
Phone:86-10-6275 7160
E-mail:cherrysei.pku.edu.cn
Title:Associate Professor with Tenure
Institute:Institute of Software
Research Interests:Software engineering, programming languages
Phone:86-10-6075 7008-12
E-mail:xiongyfpku.edu.cn
Title: Professor
Institute:Institute of Software
Research Interests:Bio-computer, graph theory, information security
Phone:86-10-6275 0359
E-mail:jxupku.edu.cn
Title:Boya Distinguished Professor
Institute:Institute of Software
Research Interests:Formal design theories and techniques for cyber-physical systems, program verification
E-mail:njzhanpku.edu.cn
Title:Professor
Institute:Institute of Software
Research Interests:Pervasive computing, mobile computing, data analytics
E-mail:dqzhangsei.pku.edu.cn
Title:Professor
Institute:Institute of Software
Research Interests:Software analysis, software testing, software evolution
Phone:86-10-6275 1794-13
Title:Research Professor
Institute:Institute of Software
Research Interests:Software engineerin, software reuse and component technology
Phone:86-10-6275 1794-15
E-mail:zhaojfpku.edu.cn
Title:Professor
Institute:Institute of Software
Research Interests:Empirical software engineering, software measurement, mining
Phone:86-10-6275 7670-12
E-mail:zhmhpku.edu.cn
Title:Associate Professor
Institute:Institute of Software
Research Interests:Software modeling, software engineering supporting environment, service-oriented computing
E-mail:chen.hjpku.edu.cn