Stephen Chong, Ph.D.
Professor, Harvard
Program Chair

Nikhil Swamy, Ph.D.
Sr. Researcher, Microsoft Research
Vice Program Chair

Yasemin Acar
Leibniz University Hannover

Lennart Beringer
Princeton University

Nataliia Bielova
Inria, France

Nathan Dautenhahn
Rice University

Dan Geer
IQT

Ronghui Gu
Columbia University

Michael Hicks
University of Maryland

Catalin Hritcu
Inria Paris

Trent Jaeger
Penn State University

Limin Jia
Carnegie Mellon University

Christoph Kern
Google

Joe Kiniry
Galois

Shriram Krishnamurthi
Brown University

Stephen Magill
Galois

Morley Mao
University of Michigan

Toby Murray
University of Melbourne

Daniela Seabra Oliveira
University of Florida

Madhusudan Parthasarathy
University of Illinois at Urbana-Champaign

Benjamin C. Pierce
University of Pennsylvania

Nadia Polikarpova
University of California, San Diego

Tamara Rezk
Inria

M. Angela Sasse
Ruhr University Bochum

Patrick Schaumont
Virginia Tech

Fred B. Schneider
Cornell University

David Tarditi
Microsoft

Laurie Williams
North Carolina State University

Danfeng (Daphne) Yao
Virginia Tech