World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
38
Citations
21234
World Ranking
9932
National Ranking
237

Overview

Radhia Cousot was affiliated with the Centre national de la recherche scientifique (CNRS) in France. Their research career was conducted mainly within this institution, contributing to the academic and scientific community associated with CNRS.

While specific details about published papers, frequent co-authors, and publication venues are not provided, the profile indicates their active participation in research without publicly documented recent papers or collaboration patterns available in this dataset.

No recorded book publications or information on particular fields, subfields, or topics of study are listed. Similarly, there are no awards documented for this scientist. The absence of such data suggests a focus on research activities not detailed here or a profile with incomplete public records.

As the scientist is deceased, all references are provided in the past tense, respecting the factual and neutral presentation of their academic presence.

Best Publications

  • Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

    Patrick Cousot;Radhia Cousot

  • Systematic design of program analysis frameworks

    Patrick Cousot;Radhia Cousot

  • Abstract Interpretation Frameworks

    Patrick Cousot;Radhia Cousot

  • Abstract interpretation and application to logic programs

    Patrick Cousot;Rahida Cousot

  • A static analyzer for large safety-critical software

    Bruno Blanchet;Patrick Cousot;Radhia Cousot;Jérome Feret

  • Static determination of dynamic properties of programs

    Patrick Cousot;Radhia Cousot

  • The ASTREÉ analyzer

    Patrick Cousot;Radhia Cousot;Jerôme Feret;Laurent Mauborgne

  • Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation

    Patrick Cousot;Radhia Cousot

  • Constructive versions of tarski's fixed point theorems

    Patrick Cousot;Radhia Cousot

  • Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software

    Bruno Blanchet;Patrick Cousot;Radhia Cousot;Jérôme Feret

  • Inductive definitions, semantics and abstract interpretations

    Patrick Cousot;Radhia Cousot

  • Static determination of dynamic properties of recursive procedures

    Patrick Cousot;Radhia Cousot

  • Modular Static Program Analysis

    Patrick Cousot;Radhia Cousot

  • Systematic design of program transformation frameworks by abstract interpretation

    Patrick Cousot;Radhia Cousot

  • Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages)

    P. Cousot;R. Cousot

  • A parametric segmentation functor for fully automatic and scalable array content analysis

    Patrick Cousot;Radhia Cousot;Francesco Logozzo

  • Automatic synthesis of optimal invariant assertions: Mathematical foundations

    Patrick Cousot;Radhia Cousot

  • ANDROMEDA: accurate and scalable security analysis of web applications

    Omer Tripp;Marco Pistoia;Patrick Cousot;Radhia Cousot

  • Combination of abstractions in the ASTRÉE static analyzer

    Patrick Cousot;Radhia Cousot;Jérôme Feret;Laurent Mauborgne

  • Temporal abstract interpretation

    Patrick Cousot;Radhia Cousot

Frequent Co-Authors

Patrick Cousot
Patrick Cousot New York University
Bruno Blanchet
Bruno Blanchet French Institute for Research in Computer Science and Automation - INRIA

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 Computer Science in the USA opens doors to a range of related online degrees and rewarding career pathways. Many students find value in diversifying their skillset by pursuing fields with strong connections to technology and engineering.

For those interested in sustainability and technology, an online environmental engineering degree can lead to careers focused on solving environmental challenges. Similarly, a foundation in engineering is advantageous–an online mechanical engineering degree gives graduates training in problem-solving and design, skills highly valued in tech-driven industries.

If your interests lean towards the theoretical, consider online physics degrees to develop strong analytical and quantitative skills. Data science is another high-demand path with significant overlap; the cheapest master in data science programs make this specialization accessible and are a practical choice for those pursuing a tech career.

No matter your chosen field, these interdisciplinary pathways can enrich your tech education and expand your career opportunities within and beyond computer science.

Best Scientists Citing Radhia Cousot

Recently Published Articles