Chilukuri Krishna Mohan
Original record- Institution
- State University of New York at Stony Brook
- Year
- 1988
- Country
- United States
- MGP identifier
- 82939
Dissertation: Negation in Equational Reasoning and Conditional Specifications
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Mandayam Kannappan SrivasMassachusetts Institute of Technology · 1982
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Rangachari Anand | Syracuse University | 1992 | 0 |
| Stuart William Card | Syracuse University | 2011 | 0 |
| Ching-Tai Chiu | Syracuse University | 1994 | 0 |
| Hyukjoon Lee | Syracuse University | 1993 | 0 |
| Harpal S. Maini | University of Florida | 1994 | 0 |
| Ender Ozcan | Syracuse University | 1998 | 18 |
| Chaitanya Tumuluri | Syracuse University | 1996 | 0 |