E. Allen (Ernest) Emerson

MathSciNet


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

NameSchoolYearDescendants
Amla, NinaUniversity of Texas at Austin2001
Attie, PaulUniversity of Texas at Austin1995
Deshmukh, JyotirmoyUniversity of Texas at Austin2010
Iyer, SubramanianUniversity of Texas at Austin2006
Kahlon, VineetUniversity of Texas at Austin2004
Lei, Chin-LaungUniversity of Texas at Austin198623
Lenzi, GiacomoScuola Normale Superiore di Pisa1997
Namjoshi, KedarUniversity of Texas at Austin1998
Singh, MunindarUniversity of Texas at Austin199330
Trefler, RichardUniversity of Texas at Austin1999
Wahl, ThomasUniversity of Texas at Austin2007

According to our current on-line database, E. Allen Emerson has 11 students and 64 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.
http://www.genealogy.ams.org/id.php?id=69873
www.genealogy.ams.org
crawl=CC-MAIN-2018-51
16413
application/http; msgtype=response
sha1:PC4XHFDFX43SXV75X22U2QSKNTMV4DUF
<urn:uuid:51724859-c64b-428a-b92a-047197af0919>
2018-12-15T14:20:58Z
130.44.204.38
text/html
sha1:ABTYCQBVIS65HNAUXFKFWO6I6D77F6ZL
<urn:uuid:6ceb687d-4e6f-49d3-a206-bd5399f67657>
http://www.genealogy.ams.org/id.php?id=69873
response
<urn:uuid:df1c7303-ed6a-4a9f-9167-5c28b9c797db>
isPartOf: CC-MAIN-2018-51
publisher: Common Crawl
description: Wide crawl of the web for December 2018
operator: Common Crawl Admin (info@commoncrawl.org)
hostname: ip-10-146-95-138.ec2.internal
software: Apache Nutch 1.15 (modified, https://github.com/commoncrawl/nutch/)
robots: checked via crawler-commons 0.11-SNAPSHOT (https://github.com/crawler-commons/crawler-commons)
format: WARC File Format 1.1
conformsTo: http://iipc.github.io/warc-specifications/specifications/warc-format/warc-1.1/