Jayadev Misra

Professor and Schlumberger Centennial Chair in Computer Science

Mailing Address, Phone, Fax, Email

Jayadev Misra
Professor and Schlumberger Centennial Chair
Dept. of Computer Science
The University of Texas at Austin
2317 Speedway, Mail Stop D9500
Austin, Texas 78712-1757

Voice: 512-471-9550
Fax: 512-471-8885
email: "My last name"@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

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

Verfied Software: Theories, Tools and Experiments. A joint project with Tony Hoare.

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