Name | Affiliation |
---|---|
Steve Kremer | Loria & Inria |
Scott Moore | Galois, Inc. |
Omer Tripp | |
Nataliia Bielova chair | Inria |
Mario Alvim | Universidade Federal de Minas Gerais |
Marco Gaboardi chair | University at Buffalo |
Lujo Bauer | Carnegie Mellon University |
Kevin Hamlen | University of Texas at Dallas |
Frank Piessens | "DistriNet |
Deepak Garg | MPI Software Systems |
Danfeng Zhang | Penn State University |
Boris Köpf | IMDEA Software Institute |
Aslan Askarov | Aarhus University |