Jayadev Misra

Jayadev Misra is a professor and holder of the Schlumberger Centennial Chair in Computer Sciences at the University of Texas at Austin.

He is known for his work in the area of concurrent programming,with emphasis on rigorous methods to improve the programming process.
His work on the UNITY methodology, jointly with Chandy, has been influential in both academia and industry, and has spawned a large number of tools and research projects.
He has recently developed a programming language, called "Orc", for concurrent orchestrations of interacting components. He is also spear-heading an effort, jointly with Tony Hoare, to automate large-scale program verification.

Misra is a fellow of ACM and IEEE; he held the Guggenheim fellowship during 1988-1989. He was the Strachey lecturer at Oxford University in 1996, and has held the Belgian FNRS International Chair of Computer Science in 1990. He is a member of
the Academy of DistinguishedTeachers at the University of Texas at Austin.

Publications

Misra has been the past editor of several journals including: Computing Surveys, Journal of the ACM, Information Processing Letters and the Formal Aspects of Computing.
He is the author of two books, "Parallel Program Design:A Foundation", Addison-Wesley, 1988, co-authored with Mani Chandy, and "A Discipline of Multiprogramming", Springer-Verlag, 2001.