World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
47
Citations
11401
World Ranking
6386
National Ranking
2850

Overview

P. Madhusudan is affiliated with the University of Illinois at Urbana-Champaign in the United States. Their research primarily focuses on computer science, with specific work in artificial intelligence, computational theory and mathematics, information systems, control and systems engineering, and software.

The main areas of study in their work include formal methods in verification, logic, programming, and type systems, logic, reasoning, and knowledge, machine learning and algorithms, software engineering research, semigroups and automata theory, and software testing and debugging techniques.

The scientist has a publication record that includes contributions to several academic venues. Frequent publication outlets are:

  • Proceedings of the ACM on Programming Languages
  • Artifact Digital Object Group
  • arXiv (Cornell University)
  • Journal of Automated Reasoning
  • ACM Transactions on Programming Languages and Systems

Among the recent papers authored or coauthored by Madhusudan are:

  • Perception Contracts for Safety of ML-Enabled Systems, 2023, Proceedings of the ACM on Programming Languages
  • Model-guided synthesis of inductive lemmas for FOL with least fixpoints, 2022, Proceedings of the ACM on Programming Languages
  • Synthesizing contracts correct modulo a test generator, 2021, Proceedings of the ACM on Programming Languages
  • A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines, 2020, Journal of Automated Reasoning
  • Learning formulas in finite variable logics, 2022, Proceedings of the ACM on Programming Languages

The scientist frequently collaborates with a group of coauthors, including:

  • Adithya Murali
  • Lucas Peña
  • Christof Löding
  • Paul Krogmeier
  • Eion Blanchard

Best Publications

  • A Temporal Logic of Nested Calls and Returns

    Rajeev Alur;Kousha Etessami;P. Madhusudan

  • Visibly pushdown languages

    Rajeev Alur;P. Madhusudan

  • Syntax-Guided Synthesis.

    Rajeev Alur;Rastislav Bodík;Eric Dallal;Dana Fisman

  • Synthesis of interface specifications for Java classes

    Rajeev Alur;Pavol Černý;P. Madhusudan;Wonhong Nam

  • Adding nesting structure to words

    Rajeev Alur;P. Madhusudan

  • CANDID: Dynamic candidate evaluations for automatic prevention of SQL injection attacks

    Prithvi Bisht;P. Madhusudan;V. N. Venkatakrishnan

  • Decision Problems for Timed Automata : A Survey

    Rajeev Alur;P. Madhusudan

  • Learning invariants using decision trees and implication counterexamples

    Pranav Garg;Daniel Neider;P. Madhusudan;Dan Roth

  • CANDID: preventing sql injection attacks using dynamic candidate evaluations

    Sruthi Bandhakavi;Prithvi Bisht;P. Madhusudan;V. N. Venkatakrishnan

  • ICE: äAäRobustäFrameworkäforäLearningäInvariants

    Pranav Garg;Christof Löding;P. Madhusudan;Daniel Neider

  • A Robust Class of Context-Sensitive Languages

    S. La Torre;P. Madhusudan;G. Parlato

  • Symbolic compositional verification by learning assumptions

    Rajeev Alur;P. Madhusudan;Wonhong Nam

  • VEX: vetting browser extensions for security vulnerabilities

    Sruthi Bandhakavi;Samuel T. King;P. Madhusudan;Marianne Winslett

  • PENELOPE: weaving threads to expose atomicity violations

    Francesco Sorrentino;Azadeh Farzan;P. Madhusudan

  • Reducing Context-Bounded Concurrent Reachability to Sequential Reachability

    Salvatore Torre;P. Madhusudan;Gennaro Parlato

  • Open Systems in Reactive Environments: Control and Synthesis

    Orna Kupferman;P. Madhusudan;P. S. Thiagarajan;Moshe Y. Vardi

  • Context-bounded analysis of concurrent queue systems

    Salvatore La Torre;P. Madhusudan;Gennaro Parlato

  • Adding nesting structure to words

    Rajeev Alur;P. Madhusudan

  • The tree width of auxiliary storage

    P. Madhusudan;Gennaro Parlato

  • Distributed Controller Synthesis for Local Specifications

    P. Madhusudan;P. S. Thiagarajan

  • Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2013

    Anna-Lisa Ferrara;P. Madhusudan;Gennaro Parlato

Frequent Co-Authors

Rajeev Alur
Rajeev Alur University of Pennsylvania
Mahesh Viswanathan
Mahesh Viswanathan University of Illinois at Urbana-Champaign
P. S. Thiagarajan
P. S. Thiagarajan Harvard University
Swarat Chaudhuri
Swarat Chaudhuri The University of Texas at Austin
Indranil Gupta
Indranil Gupta Dalhousie University
Marianne Winslett
Marianne Winslett University of Illinois at Urbana-Champaign
Patricia Bouyer
Patricia Bouyer University of Paris-Saclay
Sanjit A. Seshia
Sanjit A. Seshia University of California, Berkeley
Jeffrey Shallit
Jeffrey Shallit University of Waterloo
Kousha Etessami
Kousha Etessami University of Edinburgh

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

The field of Computer Science naturally branches into several specialized and rewarding career paths, many of which are also accessible solely through online education. Students seeking a flexible learning experience may want to explore related programs in engineering and science which often share foundational skills with computer science degrees.

For example, if you’re interested in mechanics, consider recognized online mechanical engineering degrees that emphasize both theoretical and applied aspects of engineering. Similarly, a bachelor of science in physics online can help build analytical thinking and open doors in research and technology sectors.

Data science is increasingly popular and crosses over with computing—learn about what is the cheapest data science course in the us? to maximize your return on investment. Electrical engineering is another major pathway; you can find top online electrical engineering courses USA to give you a competitive edge.

Exploring online alternatives allows you to tailor your education and unlock diverse tech-related careers beyond traditional computer science roles.

Best Scientists Citing P. Madhusudan

Trending Scientists