Deborah A. Joseph
Original record- Institution
- Purdue University
- Year
- 1981
- Country
- United States
- MGP identifier
- 11504
Dissertation: On the Power of Formal Systems for Analyzing Linear and Polynomial Time Program Behavior
Advisor 1
- Paul Ruel YoungMassachusetts Institute of Technology · 1963
Students 8
| Name | Institution | Year | Students |
|---|---|---|---|
| Argimiro Alejandro Arratia-Quesada | University of Wisconsin-Madison | 1997 | 2 |
| Gautam Das | University of Wisconsin-Madison | 1990 | 0 |
| Judith Anne Goldsmith | University of Wisconsin-Madison | 1988 | 4 |
| Amy Hauth | University of Wisconsin-Madison | 2002 | 0 |
| Joao Meidanis | University of Wisconsin-Madison | 1992 | 7 |
| Randall James Pruim | University of Wisconsin-Madison | 1995 | 0 |
| Meera Sitharam | University of Wisconsin-Madison | 1990 | 15 |
| M. A. Sridhar | University of Wisconsin-Madison | 1986 | 0 |