E. Allen (Ernest) Emerson
Ph.D. Harvard University 1981
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.
| Name | School | Year | Descendants |
|---|---|---|---|
| Munindar Singh | University of Texas at Austin | 1993 | 19 |
| Paul Attie | University of Texas at Austin | 1995 | |
| Giacomo Lenzi | Scuola Normale Superiore di Pisa | 1997 | |
| Kedar Namjoshi | University of Texas at Austin | 1998 | |
| Richard Trefler | University of Texas at Austin | 1999 | |
| Nina Amla | University of Texas at Austin | 2001 | |
| Vineet Kahlon | University of Texas at Austin | 2004 | |
| Subramanian Iyer | University of Texas at Austin | 2006 | |
| Thomas Wahl | University of Texas at Austin | 2007 |
According to our current on-line database, E. Allen Emerson has 9 students and 28 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.