AB
1
FSCD100
2
NAMEAffiliation
3
Aart MiddeldorpUniversity of Innsbruck
4
Alexandre MiquelUdelaR
5
Alexis SaurinCNRS - Universite Paris Diderot
6
Ambrus KaposiEötvös Loránd University, Budapest
7
András KovácsEötvös Loránd University
8
Andrej DudenhefnerTU Dortmund
9
Andrew PittsUniversity of Cambridge
10
Anupam DasUniversity of Copenhagen
11
Bas SpittersAarhus University
12
Bassel MannaaIT University of Copenhagen
13
Brigitte PientkaMcGill University
14
Carsten FuhsBirkbeck, University of London
15
Christian GraulundIT University of Copenhagen
16
Christina KohlUniversity of Innsbruck
17
Claude KirchnerInria
18
Cláudia NalonUniversity of Brasilia
19
Cynthia KopRadboud University Nijmegen
20
Daniele NantesUniversidade de Brasilia
21
David M. Cerna
Research institute for symbolic computation
22
David SabelGoethe-University Frankfurt
23
Delia KesnerIRIF, CNRS and University Paris-Diderot
24
Ernesto CopelloUniversity of Iowa
25
Femke van RaamsdonkVrije Universiteit Amsterdam
26
François ThiréINRIA
27
Frédéric BlanquiInria
28
Gabriel SchererINRIA Saclay
29
Genki Satothe University of Tokyo
30
Gershom BazermanAwake Security
31
Gia BellinUniversity of Verona - Italy
32
Giselle ReisCMU
33
Giulio ManzonettoUniversite Paris-Nord
34
Grigore Rosu
University of Illinois at Urbana-Champaign
35
Guilhem JaberENS de Lyon
36
Guillaume BoisseauUniversity of Oxford
37
Helene KirchnerInria
38
Hugo HerbelinINRIA - IRIF
39
Ian OrtonUniversity of Cambridge
40
Ian StarkThe University of Edinburgh
41
Jakob RehofTU Dortmund University
42
Jean-Pierre JouannaudEcole Polytechnique
43
Joe WellsHeriot-Watt University
44
Jörg EndrullisVrije Universiteit Amsterdam
45
JS LemayUniversity of Oxford
46
Julian NageleQueen Mary University of London
47
Keisuke NakanoTohoku University
48
Kevin De Keyser (dekeyser.ch)
ETH Zurich
49
Koji NakazawaNagoya University
50
Kousuke FukuiNagoya University
51
Laura VoineaUniversity of Glasgow
52
Lee A BarnettUniversity of North Carolina at Chapel Hill
53
Lukasz CzajkaUniversity of Copenhagen
54
Luke OngUniversity of Oxford
55
Maciej BendkowskiJagiellonian University
56
Manfred Schmidt-SchaußGoethe-Univ. Frankfurt, Germany
57
Marianela MoralesUniversidad Nacional de Cordoba
58
Mariangiola DezaniUniversita di Torino
59
Mario CoppoUNiversity of Turin
60
Masahito HasegawaRIMS, Kyoto University
61
Matt West
University of Illinois at Urbana-Champaign
62
Matthieu SozeauInria & PPS, Universite Paris Diderot
63
Mauricio Ayala-RincónUniversidade de Brasilia
64
Max S. NewNortheastern University
65
Michael WangUniversity of Oxford
66
Mirai IkebuchiMIT
67
Naoki KobayashiThe University of Tokyo
68
Naoki NishidaNagoya University
69
Nguyễn Lê Thành Dũng (Tito)
École Normale Supérieure & Université Paris Nord
70
Nils DallmeyerGoethe-University Frankfurt
71
Nirina AndrianariveloLIFO-Universite d'Orleans
72
Nneka C. EneKings College London
73
Nuria BredeUniversity of Potsdam
74
Ohad KammarUniversity of Oxford
75
Patrick BahrIT University of Copenhagen
76
Paul Blain LevyUniversity of Birmingham
77
Paweł ParysUniversity of Warsaw
78
Peter SelingerDalhousie University
79
Pierre LescanneÉcole Normale Supérieure de Lyon
80
Rasmus Ejlers MogelbergIT University of Copenhagen
81
Roger HindleySwansea University (retired)
82
Rohan Jacob-RaoDigital Asset
83
Roy OverbeekVrije Universiteit Amsterdam
84
Sabine BrodaUniversity of Porto
85
Samuel MimramÉcole Polytechnique
86
Sandra AlvesUniversity of Porto
87
Sarah WinklerUniversity of Innsbruck
88
Silvio MicaliMIT
89
Simon ForestÉcole Polytechnique
90
Simona Ronchi Della RoccaUniversity of Torino
91
Sonia MarinIT-University Copenhagen
92
Stefano GuerriniLIPN CNRS - Univ. Paris 13
93
Takahito AotoNiigata University
94
Temur Kutsia
RISC, Johannes Kepler University Linz, Austria
95
Thomas GenetUniv Rennes, Inria, IRISA
96
Thorsten AltenkirchUniversity of Nottingham
97
Tony CantorUniversity of Iowa
98
Ugo de' LiguoroUniversita di Torino
99
Willem HeijltjesUniversity of Bath
100
Yoshiaki KanazawaNagoya University
101
Yuki ChibaDENSO Corporation
102
Yunus KutzGoethe universitat Frankfurt