Name | Affiliation |
---|---|
Xavier Leroy | Collège de France and Inria |
Lourdes del Carmen GONZÁLEZ HUESCA | Depto. Matemáticas, Facultad de Ciencias, Universidad Nacional Autónoma de México |
Leonidas Lampropoulos | University of Maryland, College Park |
Jason Gross | Massachusetts Institute of Technology |
Enrico Tassi | Inria |
Chung-Kil Hur | Seoul National University |
Benjamin C. Pierce chair | University of Pennsylvania |
Amin Timany chair | Aarhus University |
Abhishek Anand | Bedrock Systems |