☰




Eliakim Hastings
Moore
Chicago (MathTree)


Oswald
Veblen
Princeton



Alan Jay
Perlis
Yale
(Options)


James
Horning
University of Toronto

Richard P.
Paul
Penn (Robotree)

Robert Fletcher
Sproull
Carnegie Mellon (E-Tree)

Terrance Philip
Regier
UC Berkeley (Neurotree)

Christoph
Bregler
Stanford (Computer Science Tree)

John Carter
Wendelken
UC Berkeley (Neurotree)

John E.
Bryant
UC Berkeley

Nancy C.
Chang
UC Berkeley

Steven K.
Sinha
UC Berkeley

Joseph G.
Makin
UC Berkeley

Eva H.
Mok
UC Berkeley

Leon R.
Barrett
UC Berkeley

David
Parnas
Carnegie Mellon (MathTree)

Norman Philip
Dorn
FAE Telecom, Inc.

Richard
Lipton
Georgia Tech (MathTree)

Zohar
Manna
Stanford (Philosophy Tree)

Adi
Shamir
(Computer Science Tree)

Pierre
Wolper
University of Liège (Computer Science Tree)

Jean
Vuillemin
Paris Diderot University (Robotree)

Rajeev
Alur
UC Berkeley (Computer Science Tree)

Bernd E.
Finkbeiner
Stanford (Philosophy Tree)

Michael A.
Colon
Stanford (Philosophy Tree)

Calogero G.
Zarba
Stanford (Philosophy Tree)

Sriram
Sankaranarayanan
Stanford (Philosophy Tree)

Matteo
Slanina
Stanford (Philosophy Tree)

Aaron R.
Bradley
Stanford (Philosophy Tree)

Cesar
Sanchez
Stanford (Philosophy Tree)

Robert Alan
Wagner
Cornell (Computer Science Tree)

Robert Patterson
Cook
Georgia Southern University (Computer Science Tree)

James George
Mitchell
Carnegie Mellon

Norman Philip
Dorn
FAE Telecom, Inc.

Alan PerlisX