Jayadev Misra
Professor and Schlumberger Centennial Chair in Computer Science
Mailing Address, Phone, Fax, Email
Jayadev Misra
Professor
Dept. of Computer Science
Taylor Hall, Room 3.102
Univ. of Texas at Austin,
Austin, Texas 78712-1188
Voice: 512-471-9550
Fax: 512-471-8885
email: misra@cs.utexas.edu
Home Page: http://www.cs.utexas.edu/users/misra
Education
B.Tech. (1969), Indian Institute of Technology, Kanpur, India
Ph.D. (1972), Johns Hopkins University, Baltimore, Maryland
Honors, Awards, and Professional Service
Elected to the Academy of Distinguished Teachers at the
University of Texas at Austin, Sept. 2009.
John Simon Guggenheim Fellow, 1989.
IEEE Fellow.
ACM Fellow.
Chair, Computer Science Dept., UT, Austin, 1994-1997.
Summary of Research, Research Group
My interest is in applying formal methods in practice, particularly in
the specifications and designs of synchronous and asynchronous systems.
My research group, the PSP
group, has a home page, with more information about my work and electronic
access to other papers.
Publications and Speeches
Program
Verifier: A joint project with Tony Hoare and Frequently
asked Questions about the Project
The Orc Project, a system for
orchestrating concurrent and distributed computations
Selected
Publications and Books
Notes
on UNITY
Unpublished Short Notes
Texts of Speeches
Slides used in Presentations
Teaching
CS 336 (Analysis of Algorithms)
Class Handouts and
Tests and Solutions
CS 337 (Theory in Programming Practice)
Class Handouts
and
Tests and Solutions and
Other
CS 380D (Distributed Computing)
Class Home page for Fall 2009