Eliakim Hastings
Moore

Chicago (MathTree)


Oswald
Veblen

Princeton (Physics Tree)


Alonzo
Church

UCLA (MathTree)



Robert L.
Constable

Cornell
(Options)

Robert William
Harper

Cornell (Physics Tree)

Andrzej Olaf
Filinski

Carnegie Mellon (Physics Tree)


Allan B.
Borodin

University of Toronto

J. Ian
Munro

University of Waterloo

Panayiotis
Tsaparas

University of Toronto

Brendan
Lucier

University of Toronto

Justin
Ward

University of Toronto

Yuli
Ye

University of Toronto

Kurt
Mehlhorn

Saarland University (Computational Biology Tree)

Athanasios
Tsakalidis

University of Patras (Business Management Tree)

Hannah
Bast

University of Saarland (EduTree)


Oliver
Kohlbacher

Universität Tübingen (Computational Biology Tree)

Edmund M.
Clarke

Carnegie Mellon




Somesh
Jha

UW Madison

Alex
Groce

Oregon State

Bing
Liu

University of Pittsburgh

Joseph
Bates

Carnegie Mellon

Robert
Harper

Carnegie Mellon


Christopher A.
Stone

Carnegie Mellon

Perry
Cheng

Carnegie Mellon

Umut A.
Acar

Carnegie Mellon

Derek
Dreyer

Carnegie Mellon

Leaf E.
Petersen

Carnegie Mellon

Tom V.
Murphy

Carnegie Mellon

Daniel J.
Spoonhower

Carnegie Mellon

Daniel R.
Licata

Carnegie Mellon


Joseph R.
Kiniry

Caltech (MathTree)








Robert ConstableX