genealogy

My PhD genealogy tree; > represents advised by

Sriram Sankaranarayanan
Stanford ('05)

Verification of cyber-physical systems; Flow*, S-TaLiRo

>

Zohar Manna
CMU ('68)

Temporal logic of reactive systems; program synthesis

>

Robert W Floyd
UChicago (BA '53)

Turing Award '78; program verification, Floyd–Warshall

Alan Perlis
MIT ('50)

First Turing Award ('66); ALGOL