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.

Click here to see the students ordered by family name.

Chin-Laung LeiUniversity of Texas at Austin1986
Munindar SinghUniversity of Texas at Austin199326
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 37 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, noting this mathematician's MGP ID of 69873 for the advisor ID.