Gerwin Klein+
−
Ruben Gamboa+
−
Tobias Nipkow+
−
Zhong Shao+
−
Micheal Norrish+
−
John Harrison+
−
Matt Kaufman+
−
Thierie Coquand+
−
Steffen Berghofer+
−
Georges Gonthier+
−
Cezar Munos+
−
Randy Pollack+
−
Mike Gordon (Magnus Myreen)+
−
Xavier Leroy+
−
Sandry Blazy+
−
Jeremy Avigard+
−
Herman Geuvers+
−
Xingyu Feng+
−
Alwen Tui+
−
Jouanaud+
−
Humin Lin+
−
Nick Benton+
−
Andrew Appel+
−
Yves Bertot+
−
John Matthews+
−
Konrad Slind+
−
Gilles Dowek+
−
+
−
+
−
+
−
---------+
−
Christine Paulin-Mohring+
−
Larry Paulson+
−