Prof. Mingshu Li
Institute of Software, Chinese Academy of Sciences, China
E-mail: mingshu@ iscas.ac.cn

Area Editors (in alphabetic order)
Prof. David Bell
The Queen's University of Belfast, UK
E-mail: da.bell@queens-belfast.ac.uk

Prof. Dines Bjørner
Technical University of Denmark, Denmark
E-mail: bjorner@gmail.com

Prof. Manfred Broy
Technische Universität München, Germany,
E-mail: broy@in.tum.de

Prof. Jin-Yi Cai
University of Wisconsin, Madison, USA
E-mail: jyc@cs.wisc.edu

Prof. Cungen Cao
Institute of Computing Technology, Chinese Academy of Sciences, China
E-mail: cgcao@ict.ac.cn

Prof. Balakrishnan Chandrasekaran
The OHIO State University, USA
E-mail: chandra@cse.ohio-state.edu

Prof. Pierre-Louis Curien
CNRS & University of Paris 7, France
E-mail: curien@pps.jussieu.fr

Prof. Vincent Danos
CNRS & University of Paris 7, France
E-mail: vincent.danos@gmail.com

Prof. Alexander Egyed
Johannes Kepler University, Linz, Austria
E-mail: alexander.egyed@jku.at

Prof. Kokichi Futatsugi
Japan Advanced Institute of Sci.&Tech., Japan
E-mail: kokichi@jaist.ac.jp

Prof. David Ross Jeffery
University of New South Wales, Australia
E-mail: rossj@cse.unsw.edu.au

Prof. Jean-Pierre Jouannaud
cole Polytechnique, France
E-mail: jouannaud@lix.polytechnique.fr

Prof. Bernd Krieg-Brückner
Bremen University, Germany
E-mail: bkb@informatik.uni-bremen.de

Prof. Casimir A. Kulikowski
The State University of New Jersey, USA
E-mail: kulikows@cs.rutgers.edu

Prof. Fangzhen Lin
Hong Kong University of Science and Technology, China
E-mail: flin@cs.ust.hk

Prof. Huimin Lin
Institute of Software, Chinese Academy of Sciences, China
E-mail: lhm@ios.ac.cn

Prof. Wenbo Mao
EMC Research China, China
E-mail: Mao_Wenbo@emc.com

Prof. Hong Mei
Peking University, China
E-mail: meih@pku.edu.cn

Prof. Fionn Murtagh
Science Foundation Ireland, Ireland
E-mail: fmurtagh@acm.org

Prof. John Mylopoulos
University of Toronto, Canada
E-mail: jm@cs.toronto.edu

Prof. Kesav Vithal Nori
Tata Consultancy Services Limited, India
E-mail: kesav.nori@tcs.com

Prof. Leon J. Osterweil
University of Massachusetts, USA
E-mail: ljo@cs.umass.edu

Prof. Qunsheng Peng
Zhejiang University, China
E-mail: peng@cad.zju.edu.cn

Prof. Dieter Rombach
Fraunhofer-Gesellschaft zur Förderung, Germany
E-mail: rombach@informatik. uni-kl.de

Prof. Jeannette M. Wing
Carnegie Mellon University, USA
E-mail: wing@cs.cmu.edu

Prof. Alexander L. Wolf
Imperial College London, UK
E-mail: a.wolf@imperial.ac.uk

Prof. Mingsheng Ying
Tsinghua University, China
E-mail: yingmsh@tsinghua.edu.cn

Prof. Songmao Zhang
Institute of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, China
E-mail: smzhang@math.ac.cn

Prof. Aoying Zhou
East China Normal University, China
E-mail: ayzhou@sei.ecnu.edu.cn

Prof. Zhi-Hua Zhou
Nanjing University, China
E-mail: zhouzh@nju.edu.cn