E. Allen (Ernest) Emerson


Ph.D. Harvard University 1981 UnitedStates
Dissertation: Branching Time Temporal Logic and the Design of Correct Concurrent Programs

Advisor: Edmund Melson Clarke, Jr.

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Chin-Laung LeiUniversity of Texas at Austin1986
Munindar SinghUniversity of Texas at Austin199322
Paul AttieUniversity of Texas at Austin1995
Giacomo LenziScuola Normale Superiore di Pisa1997
Kedar NamjoshiUniversity of Texas at Austin1998
Richard TreflerUniversity of Texas at Austin1999
Nina AmlaUniversity of Texas at Austin2001
Vineet KahlonUniversity of Texas at Austin2004
Subramanian IyerUniversity of Texas at Austin2006
Thomas WahlUniversity of Texas at Austin2007
Jyotirmoy DeshmukhUniversity of Texas at Austin2010

According to our current on-line database, E. Allen Emerson has 11 students and 33 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form.