Jayadev Misra
Professor and Schlumberger Centennial Chair in Computer Sciences
Mailing Address, Phone, Fax, Email
Jayadev Misra
Professor
Dept. of Computer Sciences
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
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
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
Quizzes and Solutions
CS 337 (Theory in Programming Practice)
Class Handouts and
Quizzes and Solutions and
Other
CS 380D (Distributed Computing)
Syllabus for Fall 2006 and
Class Handouts and
Quizzes and Solutions and
Other