Albert William
Tucker

Princeton (MathTree)


Marvin L.
Minsky

MIT (Neurotree)


Manuel
Blum

UC Berkeley



Lance
Fortnow

Chicago
(Options)

Lance FortnowX