Professor and Schlumberger Centennial Chair in Computer Science (Retired)
Mailing Address, Phone, Fax, Email
Dept. of Computer Science
The University of Texas at Austin
2317 Speedway, Mail Stop D9500
Austin, Texas 78712-1757
email: "My last name"@utexas.edu
Home Page: http://www.cs.utexas.edu/users/misra
B.Tech. (1969), Indian Institute of Technology, Kanpur, India
Ph.D. (1972), Johns Hopkins University, Baltimore, Maryland
Honors, Awards, and Professional Service
Regents' Outstanding Teaching Award, University of Texas, 2010.
Doctor Honoris Causa, Ecole Normale Superieure de Cachan, France, 2010.
Academy of Distinguished Teachers, University of Texas at Austin, 2009.
ACM Fellow, 1995.
IEEE Fellow, 1992.
John Simon Guggenheim Fellow, 1989.
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 concurrent systems. My current
research focusses on the design of a concurrent programming language,
Orc. See http://orc.csres.utexas.edu
Publications and Speeches
Software: Theories, Tools and Experiments. A joint project with Tony Hoare.
The Orc Project, a system for
orchestrating concurrent and distributed computations
Publications and Books
Unpublished Short Notes
Texts of Speeches
Slides used in Presentations
CS 336 (Analysis of Algorithms)
Class Handouts and
Tests and Solutions
CS 337 (Theory in Programming Practice)
Tests and Solutions and
CS 380D (Distributed Computing)
Class Home page for Fall 2009