Jayadev Misra

Jayadev Misra
Born	(1947-10-17)October 17, 1947 India
Citizenship	US
Alma mater	B.Tech. (1969) IIT Kanpur Ph.D. (1972) Johns Hopkins
Known for	Contributions in formal aspects of distributed and concurrent computing, in particular, projects Unity and Orc.
Scientific career
Fields	Computer science
Institutions	UT Austin
Thesis	A Study of Strategies for Multistage Testing (1972)
Doctoral advisor	Harlan Mills
Website	"Jayadev Misra".
Notes
Jayadev Misra at the Mathematics Genealogy Project

Jayadev Misra is an Indian-born computer scientist who has spent most of his professional career in the United States. He is the Schlumberger Centennial Chair Emeritus in computer science and a University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. Professionally he is known for his contributions to the formal aspects of concurrent programming and for jointly spearheading, with Sir Tony Hoare, the project on Verified Software Initiative (VSI).