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