Research Labs & Affiliations:
Orc Language Project
David Kitchin, Adrian Quark, William Cook, Jayadev Misra. 2009. The Orc Programming Language. Springer, LNCS 5522. 1–25.
David Kitchin, Adrian Quark, Jayadev Misra. 2010. Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures. Springer. London.
Tony Hoare, Jayadev Misra. 2015, May 1. Verified software: theories, tools, experiments. Vision of a Grand Challenge project. Springer Verlag. 1-18.
K. Mani Chandy, Jayadev Misra. 1988. Parallel Program Design: A Foundation. Addison-Wesley.
K. M. Chandy, Jayadev Misra. 1979. Distributed Simulation: A case study in design and verification of distributed programs . IEEE, Vol. SE-5, No. 5. 440-452.
Awards & Honors
2018 - Member, National Academy of Engineering
2018 - Member, TAMEST (The Academy of Medicine, Engineering and Science of Texas)
2017 - Harry H. Goode Memorial Award, IEEE
2014 - Distinguished alumnus, I.I.T., Kanpur
2010 - Doctor Honoris Causa, Ecole Normale Superieure de Cachan, France
2010 - Regents' Outstanding Teaching Award, University of Texas
2009 - Distinguished Teaching Professor, University of Texas at Austin
1995 - ACM Fellow
1992 - IEEE Fellow