Editorial Board

 

Editor-in-Chief
Chen Zhao  (Institute of Software, the Chinese Academy of Sciences, Beijing, China)

 

Executive Editor-in-Chief
Zhi Jin  (Deputy Director of High Confidence Software Technologies (MoU), Peking University, Beijing, China)


Associate Editor-in-Chief
Andrew C. Yao  (Tsinghua University, Beijing, China)


Overseas Editors
Dines Bjfrner   (Technical University of Denmark, Denmark)
Francis Yuk-Lun Chin   (University of Hong Kong, China)
Edmund M. Clarke   (Carnegie Mellon University, USA)
Ronald L. Graham   (University of California at San Diego, USA)
Bernd Krieg-Bruckner   (Universitat Bremen, Germany)
Ming Li   (University of Waterloo, Canada)
Kai Li   (Princeton University, USA)
Juzar Motiwalla   (National University of Singapore, Singapore)
Hong Zhu   (Oxford Brookes University, UK)

 

Area Editors
Kefei Chen   (Hangzhou Normal University, Hangzhou, China)
Xiaoyong Du (Renmin University, Beijing, China)

Dengguo Feng   (Institute of Software, the Chinese Academy of Sciences, Beijing, China)
Tao Huang   (Institute of Software, the Chinese Academy of Sciences, Beijing, China)
Changjun Jiang   (Donghua University, Shanghai, China)
Hua Li   (Institute of Computing Technology, the Chinese Academy of Sciences, Beijing, China)
Xuandong Li   (Nanjing University, Nanjing, China)
Jian Lü   (Nanjing University, Nanjing, China)
Junzhou Luo    (Southeast University, Nanjing, China)
Hong Mei   (Beijing Institute of Technology, Beijing, China)
Yidong Shen   (Institute of Software, the Chinese Academy of Sciences, Beijing, China)
Jie Tian   (Institute of Automation, the Chinese Academy of Sciences, Beijing, China)
Ji Wang   (National University of Defense Technology, Changsha, China)
Yingcai Wu (Zhejing University, Hangzhou, China)

Nong Xiao (Zhongshan University, Guangzhou, China)
Ge Xu (Tsinghua University, Beijing, China)
Jian Yu   (Beijing Jiaotong University, Beijing, China)
Min Zhang (Suzhou University, Suzhou, China)
Weimin Zheng   (Tsinghua University, Beijing, China)
Aoying Zhou   (East China Normal University, Shanghai, China)
Zhihua Zhou   (Nanjing University, Nanjing, China)


Scientific Editors
Wenguang Chen  (Tsinghua University, Beijing, China)
Yijia Chen   (Fudan University, Shanghai, China)
Bin Cui   (Peking University, Beijing, China)

Zuohua Ding (Zhejiang Institute of Technology, Hangzhou, China)
Xiaobing Feng    (Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China)
Xinyu Feng   (University of Science and Technology of China, Hefei, China)
Hong Gao    (Harbin Institute of Technology, Harbin, China)
Yang Gao    (Nanjing University, Nanjing, China)
Jingguo Ge    (Institute of Information Engineering, the Chinese Academy of Sciences, Beijing, China)
Hai Jin    (Huazhong University of Science and Technology, Changsha, China)

Haibin Kan (Fudan University, Shanghai, China)
Lin Liu    (Tsinghua University, Beijing, China)
Yunhao Liu    (Hong Kong University of Science and Technology, Hongkong, China)
Xiaoxing Ma    (Nanjing University, Nanjing, China)
Wenji Mao    (Institute of Automation, the Chinese Academy of Sciences, Beijing, China)
Xiaoguang Mao    (National University of Defense Technology, Changsha, China)
Dantong Ouyang    (Jilin University, Changchun, China)
Xin Peng    (Fudan University, Beijing, China)
Fengyuan Ren    (Tsinghua University, Beijing, China)
Jiwu Shu    (Tsinghua University, Beijing, China)
Jinshu Su    (National University of Defense Technology, Changsha, China)
Kaile Su    (Peking University, Beijing, China)
Yuefei Sui    (Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China)
Xiaoming Sun    (Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China)
Cong Tian    (Xidian University, Xi'an, China)
Yun Wang    (Southeast University, Nanjing, China)
Guoren Wang    (Northeastern University, Shenyang, China)
Jianyong Wang    (Tsinghua University, Beijing, China)
Wencheng Wang    (Institute of Software, the Chinese Academy of Sciences, Beijing, China)
Xingwei Wang    (Northeastern University, Shenyang, China)
Jun Wei    (Institute of Software, Chinese Academy of Sciences, Beijing, China)

Jian Wen (Jinan University, Guangzhou, China)
Yang Xu    (University of Electronic Science and Technology of China, Chengdu, China)
Rui Xue    (Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China)

Min Yang (Fudan University, Shanghai, China)
Yitong Yin    (Nanjing University, Nanjing, China)
Junhai Yong    (Tsinghua University, Beijing, China)
Ge Yu    (Northeastern University, Shenyang, China)
Qingkai Zeng    (Nanjing University, Nanjing, China)
Naijun Zhan    (Institute of Software, the Chinese Academy of Sciences, Beijing, China)
Junping Zhang    (Fudan University, Shanghai, China)
Kang Zhang    (Tianjin University, Tianjin, China)
Lu Zhang    (Peking University, Beijing, China)
Minling Zhang    (Southeast University, Nanjing, China)
Zili Zhang    (Southwest University, Chongqi, China)
Guodong Zhou    (Soochow University, Suzhou, China)