E. Allen (Ernest) Emerson

Dissertation: Branching Time Temporal Logic and the Design of Correct Concurrent Programs

Advisor 1

Name	Institution	Year	Students
Nina Amla	University of Texas at Austin	2001	0
Paul Camille Attie	University of Texas at Austin	1995	0
Jyotirmoy Deshmukh	University of Texas at Austin	2010	3
Subramanian Iyer	University of Texas at Austin	2006	0
Charanjit Jutla	University of Texas at Austin	1990	0
Vineet Kahlon	University of Texas at Austin	2004	0
Chin-Laung Lei	University of Texas at Austin	1986	23
Giacomo Lenzi	Scuola Normale Superiore di Pisa	1997	0
Kalyan Muthukumar	University of Texas at Austin	1991	0
Kedar Sharadchandra Namjoshi	University of Texas at Austin	1998	0
Roopsha Samanta	University of Texas at Austin	2013	0
Munindar Paul Singh	University of Texas at Austin	1993	32
Jai Srinivasan	University of Texas at Austin	1991	0
Richard Jay Trefler	University of Texas at Austin	1999	0
Thomas Wahl	University of Texas at Austin	2007	1

Genealogy