Charles A.
Desoer

UC Berkeley


S. Shankar
Sastry

UC Berkeley


Robert L.
Constable

Cornell (Computer Science Tree)


Edmund M.
Clarke

Carnegie Mellon (Computer Science Tree)


David L.
Dill

Stanford (Computer Science Tree)
?


Robert W
Floyd

Stanford (Computer Science Tree)


Philip
Franklin

MIT (Physics Tree)


Alan Jay
Perlis

Yale (Physics Tree)


Zohar
Manna

Stanford (Philosophy Tree)


Rajeev
Alur

UC Berkeley (Computer Science Tree)

George J.
Pappas

Penn
(Options)

George PappasX