Edmund M.
Clarke

Carnegie Mellon


David L.
Dill

Stanford
?


Robert W
Floyd

Stanford


Philip
Franklin

MIT (Physics Tree)


Alan Jay
Perlis

Yale (Physics Tree)


Zohar
Manna

Stanford (Philosophy Tree)


Rajeev
Alur

UC Berkeley

Salvatore
La Torre

University of Salerno
(Options)

Salvatore La TorreX