Solomon
Lefschetz

Princeton (MathTree)


John
McCarthy

Stanford (E-Tree)


Randall
Davis

MIT (E-Tree)


Reid
Simmons

Carnegie Mellon

Trey
Smith

Carnegie Mellon
(Options)

Trey SmithX