Albert William
Tucker

Princeton (MathTree)


Marvin L.
Minsky

MIT (Neurotree)


Manuel
Blum

UC Berkeley



Zi
Lin

UMN
(Options)

Zi LinX