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