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 listed in chronological order.

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

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.