Name | Affiliation |
---|---|
Amal Ahmed | Inria Paris and Northeastern University |
Lars Birkedal | Aarhus University |
Dominique Devriese | KU Leuven |
Cédric Fournet | Microsoft Research |
Deepak Garg | MPI-SWS |
Catalin Hritcu chair | Inria Paris |
Xavier Leroy | Inria Paris |
David Naumann | Stevens Institute of Technology |
Marco Patrignani | CISPA |
Frank Piessens | KU Leuven |
Tamara Rezk | Inria Sophia Antipolis |
Nikhil Swamy | Microsoft Research |