2026 Jayadev Misra: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	38	9971	9687	4197	4023	138	11955

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

9971

9687

4197

4023

138

11955

Research.com Recognitions

2018 - Member of the National Academy of Engineering For contributions to the theory and practice of software verification of concurrent systems.
1995 - ACM Fellow For significant advancements in the theory and practice of distributed computing, in particular for work on Parallel Program Design and the development and use of UNITY.
1992 - IEEE Fellow For contributions to the algorithms and theory of distributed computing.
1988 - Fellow of John Simon Guggenheim Memorial Foundation

Overview

Jayadev Misra is affiliated with The University of Texas at Austin in the United States. Their research spans multiple fields, with a primary focus on computer science, alongside contributions to decision sciences and mathematics.

Their work specifically covers several subfields, including computer networks and communications, artificial intelligence, signal processing, information systems, and information systems management.

Main research topics associated with Jayadev Misra include:

IoT and Edge/Fog Computing
Advanced Malware Detection Techniques
Software Engineering Research
Scientific Computing and Data Management
Software System Performance and Reliability
Logic, Programming, and Type Systems
Computability, Logic, AI Algorithms

Collaborations have frequently involved the following co-authors:

Cliff B. Jones
Tony Hoare
Gary T. Leavens
Natarajan Shankar
C. A. R. Hoare

Jayadev Misra has been recognized by multiple professional bodies. They were named a Member of the National Academy of Engineering in 2018 for contributions to the theory and practice of software verification of concurrent systems. In 1995, they became an ACM Fellow for advancements in distributed computing theory and practice, particularly for work on parallel program design and UNITY. Earlier honors include being named an IEEE Fellow in 1992 for contributions to algorithms and theory of distributed computing and receiving a fellowship from the John Simon Guggenheim Memorial Foundation in 1988.

Best Publications

Distributed Simulation: A Case Study in Design and Verification of Distributed Programs

K.M. Chandy;J. Misra

1610
Citations
Distributed discrete-event simulation

Jayadev Misra

1405
Citations
Asynchronous distributed simulation via a sequence of parallel computations

K. M. Chandy;J. Misra

1081
Citations
Proofs of Networks of Processes

J. Misra;K.M. Chandy

722
Citations
Finding Repeated Elements

Jayadev Misra;David Gries

631
Citations
The drinking philosophers problem

K. M. Chandy;J. Misra

629
Citations
Distributed deadlock detection

K. Mani Chandy;Jayadev Misra;Laura M. Haas

628
Citations
How processes learn

K. Mani Chandy;Jayadev Misra

413
Citations
How processes learn

K. M. Chandy;Jayadev Misra

335
Citations
COMPUTATION ORCHESTRATION A Basis for Wide-Area Computing

Jayadev Misra;William R. Cook

320
Citations
FM 2006: Formal Methods

Jayadev Misra;Tobias Nipkow;Emil Sekerinski

310
Citations
Distributed computation on graphs: shortest path algorithms

K. Mani Chandy;J. Misra

293
Citations
A constructive proof of Vizing's Theorem

J. Misra;David Gries

228
Citations
Axioms for memory access in asynchronous hardware systems

J. Misra

224
Citations
Detecting termination of distributed computations using markers

Jayadev Misra

199
Citations
The Orc Programming Language

David Kitchin;Adrian Quark;William Cook;Jayadev Misra

190
Citations
A distributed algorithm for detecting resource deadlocks in distributed systems

K. M. Chandy;J. Misra

185
Citations
Powerlist: a structure for parallel recursion

Jayadev Misra

154
Citations
A Linear Tree Partitioning Algorithm

Sukhamay Kundu;Jayadev Misra

148
Citations
Termination Detection of Diffusing Computations in Communicating Sequential Processes

Jayadev Misra;K. M. Chandy

144
Citations

Frequent Co-Authors

William R. Cook The University of Texas at Austin

K. Mani Chandy California Institute of Technology

David Gries Cornell University

Tobias Nipkow Technical University of Munich

Harrick M. Vin Tata Consultancy Services Venture

C. A. R. Hoare Microsoft (United States)

Natarajan Shankar SRI International

David M. Nicol University of Illinois at Urbana-Champaign

Mohamed G. Gouda The University of Texas at Austin

Richard M. Fujimoto Georgia Institute of Technology

External Links

Wikipedia of Jayadev Misra Personal website of Jayadev Misra Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring related online degrees can help broaden your options and refine your career goals while studying Computer Science in the USA. Many students begin with foundational programs, such as the best associate degree in 6 months online, which offer fast-track entry into tech fields or can be used as a stepping stone towards a bachelor's degree.

For those interested in education, there are flexible edd online programs that allow you to earn a doctorate in education entirely online and at an accelerated pace.

If affordability is a priority, consider looking into the cheapest online doctoral programs which can offer significant savings without sacrificing academic quality. Similarly, business-minded professionals may be interested in obtaining an affordable online business degree for a versatile career in tech-driven companies.

No matter your starting point or career aspirations, combining Computer Science studies with online degree options can increase your competitiveness in the job market and help you achieve your professional goals sooner.