World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
40
Citations
17290
World Ranking
9023
National Ranking
3832

Overview

A. Prasad Sistla is affiliated with the University of Illinois at Chicago in the United States. Their research primarily focuses on computer science, with significant contributions to artificial intelligence, computational theory and mathematics, software, and sociology and political science.

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

  • Cryptography and Data Security
  • Formal Methods in Verification
  • Privacy-Preserving Technologies in Data
  • Logic, Reasoning, and Knowledge
  • Software Reliability and Analysis Research
  • Software Testing and Debugging Techniques
  • Access Control and Trust

Among the recent papers authored or co-authored by A. Prasad Sistla are:

  • Exact quantitative probabilistic model checking through rational search, 2020, Formal Methods in System Design
  • Checking δ-Satisfiability of Reals with Integrals, 2025, Proceedings of the ACM on Programming Languages
  • Software Artifact for Deciding Accuracy of Differential Privacy Schemes, 2020, Artifact Digital Object Group
  • On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs, 2021, arXiv (Cornell University)
  • Deciding Differential Privacy of Online Algorithms with Multiple Variables, 2023, arXiv (Cornell University)

The scientist has collaborated frequently with other researchers, including Rohit Chadha, Mahesh Viswanathan, Bishnu Bhusal, Cody Rivera, and Umang Mathur. These co-authors have been involved in multiple publications with Sistla, indicating sustained research partnerships.

Regarding publication venues, A. Prasad Sistla has published multiple works in:

  • arXiv (Cornell University)
  • Proceedings of the ACM on Programming Languages
  • Formal Methods in System Design
  • Artifact Digital Object Group

The research contributions span a variety of subfields within computer science with a notable emphasis on formal verification methods, privacy and security, and software analysis techniques. The focus on differential privacy and formal methods suggests expertise in analyzing and verifying algorithms to ensure trusted computational processes.

The career trajectory, based on recent publications, shows active engagement in advancing both theoretical and applied aspects of computer science through empirical and formal approaches.

Best Publications

  • Automatic verification of finite-state concurrent systems using temporal logic specifications

    E. M. Clarke;E. A. Emerson;A. P. Sistla

  • The complexity of propositional linear temporal logics

    A. P. Sistla;E. M. Clarke

  • Modeling and querying moving objects

    A. Prasad Sistla;O. Wolfson;S. Chamberlain;S. Dao

  • Symmetry and model checking

    E. Allen Emerson;A. Prasad Sistla

  • Updating and Querying Databases that Track Mobile Units

    Ouri Wolfson;A. Prasad Sistla;Sam Chamberlain;Yelena Yesha

  • Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach

    E. M. Clarke;E. A. Emerson;A. P. Sistla

  • The complementation problem for Bu¨chi automata with applications to temporal logic

    A. Prasad Sistla;M. Y. Vardi;P. Wolper

  • Reasoning about systems with many processes

    Steven M. German;A. Prasad Sistla

  • Reasoning about infinite computation paths

    Pierre Wolper;Moshe Y. Vardi;A. Prasad Sistla

  • On Model-Checking for Fragments of µ-Calculus

    E. Allen Emerson;Charanjit S. Jutla;A. Prasad Sistla

  • Safety, liveness and fairness in temporal logic

    A. Prasad Sistla

  • Efficient distributed recovery using message logging

    A. P. Sistla;J. L. Welch

  • Quantitative Temporal Reasoning

    E. Allen Emerson;Aloysius K. Mok;A. Prasad Sistla;Jai Srinivasan

  • Querying the uncertain position of moving objects

    A. Prasad Sistla;Ouri Wolfson;Sam Chamberlain;Son Dao

  • Symmetry Reductions inModel Checking

    Edmund M. Clarke;E. Allen Emerson;Somesh Jha;A. Prasad Sistla

  • Deciding Full Branching Time Logic

    Unknown

  • Quantitative temporal reasoning

    E. A. Emerson;E. A. Emerson;A. K. Mok;A. P. Sistla;J. Srinivasan

  • Databases for tracking mobile units in real time

    O. Wolfson;Liqin Jiang;A. Prasad Sistla;S. Chamberlain

  • On model checking for the m-calculus and its fragments

    E. Allen Emerson;Charanjit S. Jutla;A. Prasad Sistla

  • Deciding branching time logic

    E. Allen Emerson;A. Prasad Sistla

  • SMC: a symmetry-based model checker for verification of safety and liveness properties

    A. Prasad Sistla;Viktor Gyuris;E. Allen Emerson

  • Symmetry Reductions in Model-Checking

    A. Prasad Sistla

Frequent Co-Authors

Mahesh Viswanathan
Mahesh Viswanathan University of Illinois at Urbana-Champaign
Ouri Wolfson
Ouri Wolfson University of Illinois at Chicago
E. Allen Emerson
E. Allen Emerson The University of Texas at Austin
V. N. Venkatakrishnan
V. N. Venkatakrishnan University of Illinois at Chicago
Gilles Barthe
Gilles Barthe Max Planck Institute for Security and Privacy
Lenore D. Zuck
Lenore D. Zuck University of Illinois at Chicago
Pierre Wolper
Pierre Wolper University of Liège
Moshe Y. Vardi
Moshe Y. Vardi Rice University
Clement Yu
Clement Yu University of Illinois at Chicago
Yelena Yesha
Yelena Yesha University of Miami

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 a Computer Science education opens up many exciting directions—both in advanced tech fields and overlapping disciplines like engineering and environmental science. Today, students can pursue flexible options, such as a 1 year computer science degree online, which offers a fast-tracked way to build digital skills and enter the workforce sooner.

If your interests expand beyond pure computer science, consider affordable online programs in related fields. Those passionate about technology’s impact on the planet might explore an online environmental engineering degree science and engineering. This path integrates problem-solving, software, and sustainability.

Engineering careers are rapidly growing and accessible through distance learning. For those curious about the costs and curriculum, a mechanical engineering degree online cost breakdown can help you compare your education investment.

As for career opportunities, computer science skills are valued in diverse industries. Curious about broader options? Look at the many jobs for environmental science majors to discover further interdisciplinary pathways.

Best Scientists Citing A. Prasad Sistla

Trending Scientists