Jayadev Misra
Professor
"Department of Computer Science "
University of Texas at Austin
United States of America
Biography
Jayadev Misra is a professor in the Department of Computer Science, College of Natural Sciences" The University of Texas at Austin.
Research Interest
His 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,
