Edmund M.
Clarke

Carnegie Mellon


David L.
Dill

Stanford
?




Philip
Franklin

MIT (Physics Tree)


Alan Jay
Perlis

Yale (Physics Tree)


Zohar
Manna

Stanford (Philosophy Tree)



Bow-Yaw
Wang

Penn
(Options)

Bow-Yaw WangX