Editors

Editor-in-Chief

Prof. J. C. P. Woodcock
Department of Computer Science,
University of York,
Heslington, York,
YO10 5GH, UK
email: jim.woodcock@york.ac.uk

Associate Editor

Dr. D. J. Cooke
Department of Computer Science,
Loughborough University,
Loughborough, LE11 3TU, UK
email: D.J.Cooke@lboro.ac.uk

North American Editor

Prof. J. M. Wing
550 W. 120th St. MC 4720,
1401 Northwest Corner,
Columbia University,
New York,
NY 10027, USA
email: wing@columbia.edu

Founding Editor

Prof. C. B. Jones
School of Computing
1 Science Square
University of Newcastle
NE4 5TG, UK
email: Cliff.Jones@ncl.ac.uk

Book Review Editor

Prof. D. Mery
LORIA, Université de Lorraine,
Campus Scientifique, BP 70239, F-54506
Vandoeuvre-lès-Nancy, France
email: dominique.mery@loria.fr

Editorial Advisor

Prof. M. Broy
Institut für Informatik,
Technische Universität München,
Lehrstuhl IV, Boltzmannst. 3,
Garching bei München, Germany
email: broy@in.tum.de

Editorial Board

Prof. D. Bjorner
Technical Univ. of Denmark, Denmark
email: bjorner@gmail.com
(Domain modelling techniques; Domain-based requirements modelling techniques)

Prof. E. Boiten
School of Computer Science and Informatics, De Montfort University, The Gateway, Leicester, LE1 9BH, UK
email: eerke.boiten@dmu.ac.uk
(State-based specification languages (Z, B, ...); Refinement; Integrated formal methods; Formal methods in security; Formal methods in cryptography; Viewpoint specification)

Prof. M. J. Butler
School of Electronics and Computer Science, University of Southampton, SO17 1BJ, UK
email: mjb@ecs.soton.ac.uk
(Requirements; Formal specification; Refinement, Design verification; Theorem proving, Model checking; Formal tools; Semantics)

Dr. A. Butterfield
School of Computer Science and Statistics O'Reilly Institute Trinity College, Dublin 2, Ireland
email: Andrew.Butterfield@scss.tcd.ie
(Unifying theories of programming (esp. CSP/Circus related matters, including priority,
probability); Formal aspects of the hardware/software interface; Theorem Prover development;
Developing expertise/interest in formal verification of separation kernels, and potential tools
(Isabelle/HOL, Frama-C, ...); Semantics and use of functional programming languages)

Prof. Ana Cavalcanti
Department of Computer Science, University of York, Heslington, York, YO10 5DD, UK
email: Ana.Cavalcanti@york.ac.uk
(Refinement, Integrated formal methods, Process algebra, Real-time programming, Cyber-physical systems, Formal testing)

Dr. E. Denney
m/s 269-2, NASA Ames Research Center, Moffett Field, CA 94035, USA
email: ewen.w.denney@nasa.gov
(Safety cases; Program generation; Theorem proving, Semantics; Refinement)

Dr. Jin Song Dong
Department of Computer Science, School of Computing, National University of Singapore, 3 Science Drive 2, Singapore 117543
email: dongjs@comp.nus.edu.sg
(Model checking; Real-time system verification; probabilistic reasoning; Z; Alloy; CSP)

Prof. D.J. Duke
School of Computing, University of Leeds, Woodhouse Lane, Leeds, LS2 9JT, UK
email: D.J.Duke@leeds.ac.uk
(Formal methods in human-computer interaction; Visualization; Graphics; Functional programming)

Prof. X. Feng
Dept. of Computer Science, Nanjing University, Qixia District, Nanjing, Jiangsu Province, 210023, China
email: xinyu.feng@gmail.com
(Formal program verification; Hoare logic; Separation logic; Rely-Guarantee reasoning; Shared-Memory concurrency; Proof assistants and mechanized verification; Proof-Carrying code; Semantics of programming languages)

Prof. M.-C. Gaudel
LRI, University Paris-Sud PCRI , Batiment 650 91405, Orsay cedex, France
email: Marie-Claude.Gaudel@lri.fr
(Formal methods; Software specification; Specification-based testing; Testing strategies)

Prof. A. Haxthausen
Department of Applied Mathematics and Computer Science, Technical University of Denmark, Richard Petersens Plads, Building 324, DK-2800 Lyngby, Denmark
email: aeha@dtu.dk
(Specification languages and their semantics, formal modelling and verification of railway control systems; Model checking)

Prof. I. J. Hayes
Department of Computer Science, University of Queensland, Brisbane, Queensland 4072, Australia
email: Ian.Hayes@uq.edu.au
(Reasoning about concurrent and real-time programs; Program derivation and refinement; Model-based specification)

Prof. R. M. Hierons
Department of Computer Science, The University of Sheffield , Regent Court, 211 Portobello, Sheffield, S1 4DP, UK
email: r.hierons@sheffield.ac.uk
(Testing from formal specifications; Model-based testing; Program slicing)

Prof. S. Honiden
National Institute of Informatics (NII), 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 1018430, Japan
email: honiden@nii.ac.jp
(Software engineering for self-adaptive systems)

Prof. He Jifeng
Software Engineering Institue, East China Normal University, 3663 Zhongshan Road (North), Shanghai, 200062, China
email: jifeng@sei.ecnu.edu.cn
(Cyber physical systems; Hybrid modeling techniques​; Simulation and verification of design stage, Coordination and collaboration of distributed systems)

Prof. G. Klein
Data61, CSIRO and University of South Wales, Locked Bag 6016, Sydney NSW 1466, Australia
email: gerwin.klein@nicta.com.au
(Interactive theorem proving; Program verification; C code verification; Programming language semantics; Proof engineering; Formal methods)

Prof. D. Kroening
Department of Computer Science, University of Oxford Parks Road, Oxford, OX1 3QD, UK
email: kroening@cs.ox.ac.uk
(Automated verification of hardware and software; Semantics of programming languages; Concurrency)

Dr. C. J. P. de Lucena
Pontifica Universidade Catholica do Rio de Janeiro, PUCRJ, Departmento de Informatica, Rue Marques de Sao Vicente 225, Gavea, Rio de Janeiro CEP, 22453, Brazil
email: lucena@inf.puc-rio.br
(Formal specification of software systems; Model checking; Foundations of software design; Formal aspects of software engineering of multiagent systems)

Prof. U. H. M. Martin
Department of Computer Science, University of Oxford Wolfson Building Parks Road OXFORD, OX1 3QD, UK
email: Ursula.Martin@maths.ox.ac.uk
(Computational logic; Applied formal methods; Computer algebra)

Prof. D. A. Naumann
Department of Computer Science, Stevens Institute of Technology, Hoboken NJ 07030, USA
email: naumann@cs.stevens.edu
(Formal semantics; Logics of programming; Refinement; Information flow analysis)

Prof. J. Nuno Oliveira
Departmento de Informática/HASLab, Universidade do Minho/INESC TEC, 4710-057 Braga, Portugal
email: jno@di.uminho.pt
(Relational specification methods; Quantitative formal methods; Program calculation)

Prof. J. Parrow
Department of Information Technology, University of Uppsala, Box 337, 751 05 Uppsala, Sweden
email: joachim.parrow@it.uu.se
(Process calculi; Concurrency; Bisimulation)

Prof. A. Sampaio
Centro de Informática, Universidade Federal de Pernambuco, Av. Jornalista Anibal Fernandes, s/n - Cidade Universitária, 50.740-560 - Recife - PE, Brazil
email: acas@cin.ufpe.br
(Process algebras (particularly, CSP); Compositional analysis techniques; Formal (and semi-formal) methods integration; Formal approaches to software testing; Algebraic approaches to model and program transformation)

Dr. G. Schellhorn
University of Augsburg, Institute for Software and Systems Engineering (ISSE), Universitaetsstrasse 6a, 86159 Augsburg, Germany
email: schellhorn@informatik.uni-augsburg.de
(Refinement theory; Software correctness; Interactive verification; Logics for programs; Verification of concurrent algorithms)

Prof. J. V. Tucker

Department of Computer Science, Swansea University, Singleton Park, Swansea SA2 8PP, UK
email: J.V.Tucker@swansea.ac.uk
(Modelling data types; Computability; Algebraic specifications; Formal methods for surveillance, trust and privacy; Specifying physical systems; History of formal methods)

Prof. H. Wehrheim
Department of Computer Science, University of Paderborn, Warburger Str. 100. D-33098, Paderborn, Germany
email: wehrheim@uni-paderborn.de
(Z, B, process algebras; Refinement; Simulation; Verification; Program analysis; Concurrency)

Prof. N. Zhan
State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, No. 4, South Fourth Street, Zhong Guan Cun, Beijing, 100190, P.R. China
email: znj@ios.ac.cn
(Formal techniques for the design of real-time ,hybrid and embedded systems; Program verification; Modal and temporal logics; Concurrent computation models; Semantic foundations of component and object systems)