World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
40
Citations
5501
World Ranking
9416
National Ranking
3986

Overview

Suresh Jagannathan is affiliated with Purdue University West Lafayette in the United States. Their research primarily spans the field of Computer Science, with a focus on Artificial Intelligence, Computational Theory and Mathematics, Information Systems, Software, and Computer Networks and Communications.

The scientist's work covers several main research topics, including:

  • Formal Methods in Verification
  • Reinforcement Learning in Robotics
  • Software Testing and Debugging Techniques
  • Software Engineering Research
  • Adversarial Robustness in Machine Learning
  • Logic, Programming, and Type Systems
  • Natural Language Processing Techniques

Suresh Jagannathan has published extensively, with a notable presence in venues such as arXiv (Cornell University), Proceedings of the ACM on Programming Languages, IEEE Robotics and Automation Letters, the 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), and the International Journal of Adaptive Control and Signal Processing.

Selected recent papers include:

  • Model-free Neural Lyapunov Control for Safe Robot Navigation, 2022, 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
  • ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks, 2020, reposiTUm (TU Wien)
  • Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning, 2021, arXiv (Cornell University)
  • Covering All the Bases: Type-Based Verification of Test Input Generators, 2023, Proceedings of the ACM on Programming Languages
  • Specification-guided component-based synthesis from effectful libraries, 2022, Proceedings of the ACM on Programming Languages

The scientist frequently collaborates with several coauthors, including:

  • Joe Eappen
  • Zikang Xiong
  • Benjamin Delaware
  • Z. Zhou
  • Ashish Mishra

Best Publications

  • Software architecture for control of highly parallel computer systems

    Suresh Jagannathan;James F. Philbin

  • Improving duplicate elimination in storage systems

    Deepak R. Bobbarjung;Suresh Jagannathan;Cezary Dubnicki

  • Safe futures for Java

    Adam Welc;Suresh Jagannathan;Antony Hosking

  • Distributed agent software system and method having enhanced process mobility and communication in a computer network

    Satoru Fujita;Suresh Jagannathan;Richard A. Kelsey;Kazuya Koyama

  • Transmission of higher-order objects across a network of heterogeneous machines

    Henry Cejtin;Suresh Jagannathan;Richard A. Kelsey

  • CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency

    Jaroslav Ševčík;Viktor Vafeiadis;Francesco Zappa Nardelli;Suresh Jagannathan

  • A unified treatment of flow analysis in higher-order languages

    Suresh Jagannathan;Stephen Weeks

  • Path-Sensitive Inference of Function Precedence Protocols

    Murali Krishna Ramanathan;Ananth Grama;Suresh Jagannathan

  • Static specification inference using predicate mining

    Murali Krishna Ramanathan;Ananth Grama;Suresh Jagannathan

  • Transactional monitors for concurrent objects

    Adam Welc;Suresh Jagannathan;Antony L. Hosking

  • Declarative programming over eventually consistent data stores

    KC Sivaramakrishnan;Gowtham Kaki;Suresh Jagannathan

  • Search with probabilistic guarantees in unstructured peer-to-peer networks

    R.A. Ferreira;M.K. Ramanathan;A. Awan;A. Grama

  • An inductive synthesis framework for verifiable reinforcement learning

    He Zhu;Zikang Xiong;Stephen Magill;Suresh Jagannathan

  • Relaxed-memory concurrency and verified compilation

    Jaroslav Ŝevčik;Viktor Vafeiadis;Francesco Zappa Nardelli;Suresh Jagannathan

  • Higher-order distributed objects

    Henry Cejtin;Suresh Jagannathan;Richard Kelsey

  • Alchemist: A Transparent Dependence Distance Profiling Infrastructure

    Xiangyu Zhang;Armand Navabi;Suresh Jagannathan

  • Preemptible atomic regions for real-time Java

    J. Manson;J. Baker;A. Cunei;S. Jagannathan

  • Flow-directed inlining

    Suresh Jagannathan;Andrew Wright

  • Flow-Directed Closure Conversion for Typed Languages

    Henry Cejtin;Suresh Jagannathan;Stephen Weeks

  • Polymorphic splitting: an effective polyvariant flow analysis

    Andrew K. Wright;Suresh Jagannathan

  • Analyzing multicore dumps to facilitate concurrency bug reproduction

    Dasarath Weeratunge;Xiangyu Zhang;Suresh Jagannathan

Frequent Co-Authors

Ananth Grama
Ananth Grama Purdue University West Lafayette
Jan Vitek
Jan Vitek Northeastern University
Peter Sewell
Peter Sewell University of Cambridge
Xiangyu Zhang
Xiangyu Zhang Purdue University West Lafayette
David Gelernter
David Gelernter Yale University
Patrick Eugster
Patrick Eugster Universita della Svizzera Italiana
Viktor Vafeiadis
Viktor Vafeiadis Max Planck Institute for Software Systems
Venkat Venkatasubramanian
Venkat Venkatasubramanian Columbia University
Michael Hicks
Michael Hicks University of Maryland, College Park
Yuanyuan Zhou
Yuanyuan Zhou University of California, San Diego

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:

Related Online Degrees & Career Pathways

Exploring online computer science degrees opens up new opportunities for students with diverse backgrounds and budgets. Those looking for affordable options can start by researching the cheapest online college programs, which can significantly reduce the financial burden of higher education.

Some prospective students might be concerned about their previous academic performance. Fortunately, there are best colleges for low gpa applicants, making computer science degrees accessible even for those with a less-than-perfect GPA.

Completing your degree quickly is another priority for many learners. If you want to enter the workforce sooner, consider enrolling in the fastest computer science degree programs available online, designed to help you graduate on an accelerated timeline.

Graduates with backgrounds in science and technology may also find exciting roles in related fields. Explore high-paying jobs with environmental science degree to discover alternative career pathways where your technical skills are in demand.

Best Scientists Citing Suresh Jagannathan

Trending Scientists