Sections
![ACM Digital Library](https://dl.acm.org/specs/products/acm/releasedAssets/images/acm-logo-dl-8437178134fce530bc785276fc316cbf.png)
Editorial Board
Editor-in-Chief
Skip section Editor-in-ChiefManaging Editor
Skip section Managing EditorNorth America Editor
Skip section North America EditorFounding Editor
Skip section Founding EditorBook Review Editor
Skip section Book Review EditorEditorial Advisor
Skip section Editorial AdvisorEditorial Board
Skip section Editorial BoardDines Bjorner
Technical University of Denmark
Domain modelling techniques; Domain-based requirements modelling techniques
Eerke Boiten
De Montfort University
State-based specification languages; Refinement; Integrated formal methods; Formal methods in security; Formal methods in cryptography; Viewpoint specification
Michael J. Butler
University of Southampton
Requirements; Formal specification; Refinement, Design verification; Theorem proving, Model checking; Formal tools; Semantics
Andrew Butterfield
Trinity College Dublin
Unifying theories of programming; Formal aspects of the hardware/software interface; Theorem Prover development; Developing expertise/interest in formal verification of separation kernels, and potential tools; Semantics and use of functional programming languages
Ana Cavalcanti
University of York
Refinement, Integrated formal methods, Process algebra, Real-time programming, Cyber-physical systems, Formal testing
Carlos José Pereira de Lucena
PUC - Rio
Formal specification of software systems; Model checking; Foundations of software design; Formal aspects of software engineering of multiagent systems
Erik de Vink
Eindhoven University of Technology
Probabilistic processes; software product lines
Ewen Denny
NASA
Safety cases; Program generation; Theorem proving, Semantics; Refinement
Mike Dodds
Galois Inc.
Separation logic; semantics; verified crypto code; deny-guarantee; jStar
Jin Song Dong
National University of Singapore
Model checking; Real-time system verification; probabilistic reasoning; Z; Alloy; CSP
Brijesh Dongol
University of Surrey
Linearisability; separation logic; blockchain; persistent concurrent data structures; weak memory models
David Duke
University of Leeds
Formal methods in human-computer interaction; Visualization; Graphics; Functional programming
Xinyu Feng
Nanjing University
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
Anne Haxthausen
Technical University of Denmark
Specification languages and their semantics, formal modelling and verification of railway control systems; Model checking
Ian J. Hayes
University of Queensland
Reasoning about concurrent and real-time programs; Program derivation and refinement; Model-based specification
Robert Hierons
The University of Sheffield
Testing from formal specifications; Model-based testing; Program slicing
Shinichi Honiden
National Institute of Informatics
Software engineering for self-adaptive systems
He Jifeng
East China Normal University
Cyber physical systems; Hybrid modeling techniques; Simulation and verification of design stage, Coordination and collaboration of distributed systems
Gerwin Kline
Proofcraft and UNSW Sydney
Interactive theorem proving; Program verification; C code verification; Programming language semantics; Proof engineering; Formal methods
Daniel Kroening
University of Oxford
Automated verification of hardware and software; Semantics of programming languages; Concurrency
Martin Leucker
University of Lübeck
Runtime verification; verifying ANNs; software product lines
Michael Leuschel
Heinrich-Heine Universität Düsseldorf
B method; tool building; ProB; model checking; timed probabilistic simulation
Ursula Martin
University of Oxford
Computational logic; Applied formal methods; Computer algebra
David A. Naumann
Stevens Institute of Technology
Formal semantics; Logics of programming; Refinement; Information flow analysis
J. Nuno Oliveira
University of Minho
Relational specification methods; Quantitative formal methods; Program calculation
David Parker
University of Birmingham
Probabilistic model checking; prism; automated verification
André Platzer
Carnegie Mellon University
Logic; cyber-physical systems; programming languages; theorem proving; hybrid systems; Keymaera X
Augusto Sampaio
Federal University of Pernambuco
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
Gerhard Schellhorn
University of Augsburg
Refinement theory; Software correctness; Interactive verification; Logics for programs; Verification of concurrent algorithms
John Tucker
Swansea University
Modelling data types; Computability; Algebraic specifications; Formal methods for surveillance, trust and privacy; Specifying physical systems; History of formal methods
Heike Wehrheim
University of Paderborn
Z, B, process algebras; Refinement; Simulation; Verification; Program analysis; Concurrency
Burkhart Wolff
University Paris-Sud
Theorem proving; Isabelle/HOL; formal testing; verifying OCL/UML; verifying C programs
Nobuko Yoshida
Oxford University
Session types; multi-party computation; separation logic; game semantics; pi-calculus
Naijun Zhan
Chinese Academy of Sciences
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