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)
|