Edmund M.
Clarke

Carnegie Mellon


David L.
Dill

Stanford


Arthur Lloyd
Anger

Illinois Institute of Technology


Robert W
Floyd

Stanford


Philip
Franklin

MIT (Physics Tree)


Alan Jay
Perlis

Yale (Physics Tree)


Zohar
Manna

Stanford (Philosophy Tree)


Rajeev
Alur

UC Berkeley

Mark H.
Dredze

Penn
(Options)

Mark DredzeX