Patrick Cousot
Patrick Cousot publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Software Testing and Debugging Techniques.
- World rank
- #24,088 of 1,633,909 ranked researchers
- Rank in France
- #1,348 of 96,116
- Works
- 56
- Citations
- 754
- Citations per work
- 13.5
What does Patrick Cousot research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence38% of their works
- 2Computational Theory and Mathematics22% of their works
- 3Software12% of their works
- 4Hardware and Architecture6% of their works
- 5Computer Networks and Communications3% of their works
- 6Information Systems2% of their works
Research topics
Which keywords describe Patrick Cousot's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker, Description Logics and Knowledge Representation.
- Statistical Machine Translation
- Ontology
- Software Reliability Modeling
- Parallel Computing
- Modal Logic
- Software Fault Localization
- Knowledge Representation
- Symbolic Model Checker
- Static Analysis
- Temporal Logic
- Model Checking
- Formal Verification
- Satisfiability Modulo Theories
- Description Logics
- Automated Testing
- Answer Set Programming
- Architecture-Based Approach
- Performance Optimization
- Neural Machine Translation
- Semantic Web
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 20 words, with their numbers
- Model Checking413 topics
- Temporal Logic222 topics
- Formal Verification191 topic
- Static Analysis191 topic
- Satisfiability Modulo Theories171 topic
- Symbolic Model Checker171 topic
- Description Logics82 topics
- Knowledge Representation82 topics
- Automated Testing71 topic
- Software Fault Localization71 topic
- Answer Set Programming51 topic
- Modal Logic51 topic
- Architecture-Based Approach41 topic
- Parallel Computing41 topic
- Performance Optimization41 topic
- Software Reliability Modeling41 topic
- Neural Machine Translation31 topic
- Ontology31 topic
- Semantic Web31 topic
- Statistical Machine Translation31 topic
Where does Patrick Cousot work?
Patrick Cousot's main affiliation in the publication record is Centre National de la Recherche Scientifique, France.
How many publications and citations does Patrick Cousot have?
Science Explorer counts 56 works and 754 citations for Patrick Cousot, ranking #24,088 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.