Editorial Board

Editors-in-chief

Mooly Sagiv (Tel-Aviv University, Israel)

Editors

Martín Abadi (Google and University of California, Santa Cruz)
Anindya Banerjee (IMDEA Software Institute)
Patrick Cousot (ENS, Paris and New York University)
Oege De Moor (University of Oxford)
Matthias Felleisen (Northeastern University)
John Field (Google)
Cormac Flanagan (UC Santa Cruz)
Philippa Gardner (Imperial College)
Andrew Gordon (Microsoft Research and University of Edinburgh)
Dan Grossman (University of Washington)
Robert Harper (Carnegie Mellon University)
Tim Harris (Oracle)
Fritz Henglein (University of Copenhagen)
Rupak Majumdar (Max Planck Institute and UCLA)
Kenneth McMillan (Microsoft Research)
J. Eliot B. Moss (University of Massachusetts, Amherst)
Andrew C. Myers (Cornell University)
Hanne Riis Nielson (Technical University of Denmark)
Peter O'Hearn (University College London)
Benjamin C. Pierce (University of Pennsylvania)
Andrew Pitts (University of Cambridge)
Ganesan Ramalingam (Microsoft Research)
Mooly Sagiv (Tel Aviv University)
Davide Sangiorgi (University of Bologna)
David Schmidt (Kansas State University)
Peter Sewell (University of Cambridge)
Scott Stoller (Stony Brook University)
Peter Stuckey (University of Melbourne)
Jan Vitek (Purdue University)
Philip Wadler (University of Edinburgh)
David Walker (Princeton University)
Stephanie Weirich (University of Pennsylvania)