http:^^www.cs.utexas.edu^users^misra^

This data set contains WWW-pages collected from computer science departments of various universities

MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:44:56 GMT
Content-Type: text/html
Content-Length: 1677
Last-Modified: Friday, 12-Apr-96 15:19:23 GMT


<title>Jayadev Misra</title>

<!WA0><!WA0><img src="http://www.cs.utexas.edu/users/misra/misra.gif"> <br>
<h1>Jayadev Misra</h1>

<i>
Regents' Chair in Computer Sciences <br>
Department Chair <p>

B.Tech. (1969) <br>
Indian Institute of Technology, Kanpur <p>

Ph.D. (1972) <br>
Johns Hopkins University <p>
</i>


<h2>Honors, Awards, and Professional Service</h2>

<ul>
<li> John Simon Guggenheim Fellow, 1989
<li> IEEE Fellow
<li> ACM Fellow
</ul>


<h2>Areas of Interest</h2>

Parallel programming <p>


<h2>Summary of Research</h2>

My interest is in applying formal methods in practice, particularly in
the specifications and designs of synchronous and asynchronous
systems.<p>


<h2>Selected Recent Publications</h2>

J. Misra, "Powerlist: a structure for parallel recursion," in <i>A Classical Mind: Essays in Honor of C. A. R. Hoare</i>, Prentice-Hall, January 1994. <p>

J. Misra, "Loosely coupled processes," <i>Future Generations Computer Systems (8)</i>, pp. 269-286, North Holland, 1992. <p>

J. Misra, "Phase synchronization," <i>Information Processing Letters</i>, vol. 38, pp. 81-85, 1991. <p>

J. Misra, "Equational reasoning about nondeterministic processes," <i>Formal Aspects of Computing</i>, vol. 2, no. 2, pp. 167-195, 1990. <p>

J. Misra and K. M. Chandy, <i>Parallel Program Design: a Foundation</i>, Addison-Wesley, 1988. <p>

<hr>

My research group, the <!WA1><!WA1><a href="http://www.cs.utexas.edu/users/psp">PSP group</a>, has a home
page, with more information about my work and electronic access to other
papers.
<p>
My current research project, Seuss, has an
<!WA2><!WA2><a href="http://www.cs.utexas.edu/users/psp/seuss-overview.html">overview</a> and a
<!WA3><!WA3><a href="ftp://ftp.cs.utexas.edu/pub/psp/seuss/discipline.ps.Z">postscript version</a>
accessible from here.