Jayadev Misra

Jayadev MisraJayadev Misra is the Schlumberger Centennial Chair Emeritus in computer science and a University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. Professionally he is known for his contributions to the formal aspcts of concurrent programming and for jointly spearheading, with Sir Tony Hoare, the project on Verified Software Initiative (VSI). Jayadev Misra in collaboration with K. Mani Chandy has made a number of important contributions in the area of concurrent computing, among them a programming notation and a logic, called UNITY, to describe concurrent computations, a conservative algorithm for distributed discrete-event simulation, a number of fundamental algorithms for resource allocation (the drinking philosopher's problem, deadlock detection, distributed graph algorithms), and a theory of knowledge transmission in distributed systems. In collaboration with David Gries, Jayadev proposed the first algorithm for the heavy-hitters problem. He has also proposed a set of axioms for concurrent memory access that underlie the theory of linearizability. His most recent research project, called Orc, attempts to develop an algebra of concurrent computing that will help integrate different pieces of software for concurrent execution. Jayadev is a member of the National Academy of Engineering. He has been awarded: the Harry H. Goode Memorial Award, IEEE, 2017, jointly with K. Mani Chandy; Doctor Honoris Causa, from École normale supérieure Paris-Saclay, Cachan, France, 2010 and a Guggenheim Fellowship, 1988. He is an ACM Fellow (1995), an IEEE Fellow (1992), and a Distinguished alumnus of IIT Kanpur, India. Read More Read Less

10 results found
List viewGrid view
Sort By:
1.
Effective Theories in Programming Practice28 %
No Review Yet
₹4,348
₹3,131
Binding:
Paperback
Release:
27 Dec 2022
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Effective Theories in Programming Practice29 %
No Review Yet
₹6,463
₹4,589
Binding:
Hardback
Release:
27 Dec 2022
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Theories of Programming29 %
No Review Yet
₹6,110
₹4,338
Binding:
Hardback
Release:
26 Sep 2021
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Theories of Programming28 %
No Review Yet
₹4,113
₹2,961
Binding:
Paperback
Release:
26 Sep 2021
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Discipline of Multiprogramming
Publisher: Springer
No Review Yet
₹890
Binding:
Hardback
Release:
26 Jun 2001
Language:
English
Available
Ships within 1-2 Days Explain..
6.
FM 2006: Formal Methods59 %
Publisher: Springer
No Review Yet
₹10,329
₹4,235
Binding:
Paperback
Release:
01 Sep 2006
Language:
English
Available
Ships within 1-2 Days Explain..
10.
Applied Theory of Concurrency and CompositionNR
Publisher: Springer
No Review Yet
₹3,748
Binding:
Hardback
Release:
01 Dec 1998
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found