Jayadev Misra
Schlumberger Centennial Chair Emeritus in Computer Science
University Distinguished Teaching Professor Emeritus
Email, Home Page
email: "The shorter one of my first and last names"@utexas.edu
This Home Page: http://www.cs.utexas.edu/users/misra
Address (Do not send physical mail here)
Jayadev Misra
Dept. of Computer Science
The University of Texas at Austin
2317 Speedway, Mail Stop D9500
Austin, Texas 78712-1757
Education
B.Tech. (1969), Indian Institute of Technology, Kanpur, India
Ph.D. (1972), Johns Hopkins University, Baltimore, Maryland
Awards, Honors
Member, National Academy of Engineering.
Harry H. Goode Memorial Award, IEEE (jointly with K. Mani Chandy).
Doctor Honoris Causa, Ecole Normale Superieure de Cachan, France.
Regents' Outstanding Teaching Award, University of Texas.
Distinguished Teaching Professor, University of Texas at Austin.
Identified as a ``highly cited researcher'' by Thomson Reuters ISI, 2004.
ACM Fellow.
IEEE Fellow.
John Simon Guggenheim Fellow.
Distinguished alumnus, I.I.T., Kanpur, India.
Member, TAMEST (The Academy of Medicine, Engineering and Science
of Texas).
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
I retired as of Sept. 1, 2015. I used to teach:
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