Benedikt Ahrens
(Delft University of Technology)
Anne Baanen
(Vrije Universiteit)
Haniel Barbosa
(Universidade Federal de Minas Gerais in Belo Horizonte)
Andrej Bauer
(University of Ljubljana)
Johan Commelin
(Albert-Ludwigs-Universität Freiburg)
James Davenport
(University of Bath)
Maria Ines de Frutos Fernandez
(Imperial College London)
Leonardo de Moura
(Microsoft Research)
Pascal Fontaine
(Université de Liège)
Johnathan Hanke
(Princeton University)
John Harrison
(Amazon Web Services)
Petra Hozzova
(Technische Universität Wien)
Laura Kovacs
(TU Wien)
Marc Lackenby
(University of Oxford)
Heather Macbeth
(Fordham University at Lincoln Center)
Assia Mahboubi
(Institut National de Recherche en Informatique Automatique (INRIA))
Patrick Massot
(Université Paris-Saclay)
Micaela Mayero
(Galilee Institute - Paris Nord University)
Sophie Morel
(École Normale Supérieure de Lyon)
Emily Riehl
(Johns Hopkins University)
Jason Rute
(IBM)
Adam Topaz
(University of Alberta)
Akshay Venkatesh
(Institute for Advanced Study)
Adam Wagner
(Worcester Polytechnic Institute)
Geordie Williamson
(University of Sydney)
Tony Wu
(Google)
Bohua Zhan
(Chinese Academy of Sciences)
Copyright. All Rights Reserved.