World's Best Scientists 2026 revealed!
Radha Jagadeesan

Radha Jagadeesan

D-Index & Metrics

Engineering and Technology

D-Index
38
Citations
6304
World Ranking
8004
National Ranking
2206

Overview

Radha Jagadeesan is affiliated with DePaul University in the United States and specializes in computer science, with a focus on a range of subfields including artificial intelligence, computer networks and communications, computational theory and mathematics, as well as hardware and architecture.

Their research covers topics such as logic, reasoning, and knowledge; computability, logic, and AI algorithms; security and verification in computing; parallel computing and optimization techniques; distributed systems and fault tolerance; logic, programming, and type systems; and advanced database systems and queries.

Recent publications by Radha Jagadeesan include:

  • Pomsets with preconditions: a simple model of relaxed memory, 2020, Proceedings of the ACM on Programming Languages
  • Game Semantics for Higher-Order Unitary Quantum Computation, 2024, arXiv (Cornell University)

Frequent co-authors collaborating with Radha Jagadeesan are:

  • Alan Jeffrey
  • James Riely
  • Samson Abramsky

Publication venues where their work has appeared include:

  • Proceedings of the ACM on Programming Languages
  • arXiv (Cornell University)

Best Publications

  • Full Abstraction for PCF

    Samson Abramsky;Radha Jagadeesan;Pasquale Malacaria

  • Games and full completeness for multiplicative linear logic

    Samson Abramsky;Radha Jagadeesan

  • Metrics for labelled Markov processes

    Josée Desharnais;Vineet Gupta;Radha Jagadeesan;Prakash Panangaden

  • Modal Transition Systems: A Foundation for Three-Valued Program Analysis

    Michael Huth;Radha Jagadeesan;David A. Schmidt

  • New foundations for the geometry of interaction

    Samson Abramsky;Radha Jagadeesan

  • Full Abstraction for PCF

    Samson Abramsky;Pasquale Malacaria;Radha Jagadeesan

  • Abstraction-Based Model Checking Using Modal Transition Systems

    Patrice Godefroid;Michael Huth;Radha Jagadeesan

  • Robust Timed Automata

    Vineet Gupta;Thomas A. Henzinger;Radha Jagadeesan

  • On the expressiveness of 3-valued models

    Patrice Godefroid;Radha Jagadeesan

  • Metrics for Labeled Markov Systems

    Josee Desharnais;Vineet Gupta;Radha Jagadeesan;Prakash Panangaden

  • The metric analogue of weak bisimulation for probabilistic processes

    J. Desharnais;R. Jagadeesan;V. Gupta;P. Panangaden

  • Foundations of timed concurrent constraint programming

    V.A. Saraswat;R. Jagadeesan;V. Gupta

  • Timed default concurrent constraint programming

    Vijay Saraswat;Radha Jagadeesan;Vineet Gupta

  • Approximating labelled Markov processes

    Josée Desharnais;Vineet Gupta;Radha Jagadeesan;Prakash Panangaden

  • Full Abstraction for PCF (extended abstract)

    Samson Abramsky;Pasquale Malacaria;Radha Jagadeesan

  • Towards a theory of accountability and audit

    Radha Jagadeesan;Alan Jeffrey;Corin Pitcher;James Riely

  • A theory of memory models

    Vijay A. Saraswat;Radha Jagadeesan;Maged Michael;Christoph von Praun

  • Specifications of a high-level conflict-free firewall policy language for multi-domain networks

    Bin Zhang;Ehab Al-Shaer;Radha Jagadeesan;James Riely

  • Automatic abstraction using generalized model checking

    Patrice Godefroid;Radha Jagadeesan

  • Three-valued abstractions of games: uncertainty, but with precision

    L. de Alfaro;P. Godefroid;R. Jagadeesan

  • Games and Full Completeness for Multiplicative Linear Logic (Extended Abstract)

    Samson Abramsky;Radha Jagadeesan

Frequent Co-Authors

Samson Abramsky
Samson Abramsky University of Oxford
Vijay Saraswat
Vijay Saraswat Goldman Sachs Research
Prakash Panangaden
Prakash Panangaden McGill University
Patrice Godefroid
Patrice Godefroid Microsoft (United States)
Keshav Pingali
Keshav Pingali The University of Texas at Austin
Thomas A. Henzinger
Thomas A. Henzinger Institute of Science and Technology Austria
Ehab Al-Shaer
Ehab Al-Shaer Carnegie Mellon University
Krishnendu Chatterjee
Krishnendu Chatterjee Institute of Science and Technology Austria
Daniel G. Bobrow
Daniel G. Bobrow Palo Alto Research Center
Maged M. Michael
Maged M. Michael Facebook (United States)

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

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Best Scientists Citing Radha Jagadeesan

Trending Scientists

Recently Published Articles