World's Best Scientists 2026 revealed!
Anindya Banerjee

Anindya Banerjee

D-Index & Metrics

Computer Science

D-Index
31
Citations
4129
World Ranking
13662
National Ranking
5447

Overview

Anindya Banerjee is affiliated with the Madrid Institute for Advanced Studies in Spain and has an interdisciplinary research profile spanning Medicine and Computer Science. Their work frequently intersects subfields such as Artificial Intelligence, Cardiology and Cardiovascular Medicine, Surgery, Computational Theory and Mathematics, and Radiology, Nuclear Medicine, and Imaging.

Their research addresses several main topics, notably Formal Methods in Verification, Logic, Programming and Type Systems, Coronary Interventions and Diagnostics, Software Testing and Debugging Techniques, Bayesian Modeling and Causal Inference, Security and Verification in Computing, and Cardiovascular Issues in Pregnancy.

Anindya Banerjee's recent papers include:

  • "A Theory of Slicing for Imperative Probabilistic Programs" (2020) published in ACM Transactions on Programming Languages and Systems
  • "On algebraic abstractions for concurrent separation logics" (2021) published in Proceedings of the ACM on Programming Languages
  • "A Relational Program Logic with Data Abstraction and Dynamic Framing" (2022) published in ACM Transactions on Programming Languages and Systems
  • "Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning" (2023) published in Proceedings of the ACM on Programming Languages
  • "Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL" (2023) published in Leibniz-Zentrum für Informatik (Schloss Dagstuhl)

The scientist has collaborated frequently with several co-authors, notably Shashikant Singh, Subhas Pramanik, Debasish Das, Abhinav Kumar, and Ramana Nagasamudram.

Anindya Banerjee's work has appeared in diverse publication venues, including:

  • Indian Heart Journal
  • arXiv (Cornell University)
  • Oxford Bulletin of Economics and Statistics
  • Cureus
  • Journal of the American College of Cardiology

Best Publications

  • A core calculus of dependency

    Martín Abadi;Anindya Banerjee;Nevin Heintze;Jon G. Riecke

  • Stack-based access control and secure information flow

    Anindya Banerjee;David A. Naumann

  • Merlin: specification inference for explicit information flow problems

    Benjamin Livshits;Aditya V. Nori;Sriram K. Rajamani;Anindya Banerjee

  • A logic for information flow in object-oriented programs

    Torben Amtoft;Sruthi Bandhakavi;Anindya Banerjee

  • Secure information flow and pointer con .nement in a java-like language

    Unknown

  • Automata-based confidentiality monitoring

    Gurvan Le Guernic;Anindya Banerjee;Thomas Jensen;David A. Schmidt

  • Expressive Declassification Policies and Modular Static Enforcement

    A. Banerjee;D.A. Naumann;S. Rosenberg

  • Regional Logic for Local Reasoning about Global Invariants

    Anindya Banerjee;David A. Naumann;Stan Rosenberg

  • Information Flow Analysis in Logical Form

    Torben Amtoft;Anindya Banerjee

  • Mechanized verification of fine-grained concurrent programs

    Ilya Sergey;Aleksandar Nanevski;Anindya Banerjee

  • Ownership confinement ensures representation independence for object-oriented programs

    Anindya Banerjee;David A. Naumann

  • Verification of Information Flow and Access Control Policies with Dependent Types

    Aleksandar Nanevski;Anindya Banerjee;Deepak Garg

  • A new foundation for control dependence and slicing for modern program structures

    Venkatesh Prasad Ranganath;Torben Amtoft;Anindya Banerjee;John Hatcliff

  • Representation independence, confinement and access control [extended abstract]

    Anindya Banerjee;David A. Naumann

  • History-based access control and secure information flow

    Anindya Banerjee;David A. Naumann

  • A modular, polyvariant and type-based closure analysis

    Anindya Banerjee

  • Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model

    M. Pistoia;A. Banerjee;D.A. Naumann

  • A new foundation for control-dependence and slicing for modern program structures

    Venkatesh Prasad Ranganath;Torben Amtoft;Anindya Banerjee;Matthew B. Dwyer

  • Confidentiality enforcement using dynamic information flow analyses

    David Schmidt;Anindya Banerjee;Gurvan Le Guernic

  • Effectively-Propositional Reasoning about Reachability in Linked Data Structures

    Shachar Itzhaky;Anindya Banerjee;Neil Immerman;Aleksandar Nanevski

  • Using access control for secure information flow in a Java-like language

    A. Banerjee;D.A. Naumann

  • Dependent Type Theory for Verification of Information Flow and Access Control Policies

    Aleksandar Nanevski;Anindya Banerjee;Deepak Garg

Frequent Co-Authors

Andrei Sabelfeld
Andrei Sabelfeld Chalmers University of Technology
Marco Pistoia
Marco Pistoia JPMorgan Chase & Co (United States)
John Hatcliff
John Hatcliff Kansas State University
Matthew B. Dwyer
Matthew B. Dwyer University of Virginia
Olivier Danvy
Olivier Danvy National University of Singapore
Neil Immerman
Neil Immerman University of Massachusetts Amherst
Mooly Sagiv
Mooly Sagiv Tel Aviv University
Sriram K. Rajamani
Sriram K. Rajamani Microsoft (United States)
Martín Abadi
Martín Abadi Google (United States)
Benjamin Livshits
Benjamin Livshits Imperial College London

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 degrees opens up multiple pathways for those interested in pursuing Computer Science in the USA. Many students start with an associates degree online, offering a cost-effective introduction to core concepts and technical skills. This option is especially appealing for those seeking flexibility or juggling work and study.

With growing demand for advanced technology roles, pursuing one of the most useful masters degrees in fields like computer science, data analysis, or cybersecurity can significantly enhance your career prospects. These reputable programs build on foundational knowledge and position graduates for leadership roles or specialized careers.

Budget-conscious students can also benefit from researching the cheapest online college options. These accredited programs provide quality education without overwhelming student debt, making them ideal for many learners.

Concerned about past grades? Don’t be discouraged. There are best online colleges that accept low gpa, allowing you to continue your education and advance in your desired career, even if your academic record isn’t perfect.

Best Scientists Citing Anindya Banerjee

Trending Scientists