Oswald
Veblen

Princeton (Physics Tree)


Alonzo
Church

UCLA (MathTree)





Robert
Harper

Carnegie Mellon
(Options)


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

Robert HarperX