Question 1

What does Patrick M. Cousot research?

Accepted Answer

Patrick M. Cousot publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Software Testing and Debugging Techniques.

Question 2

Which keywords describe Patrick M. Cousot's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Automated Testing and Software Fault Localization.

Question 3

Where does Patrick M. Cousot work?

Accepted Answer

Patrick M. Cousot's main affiliation in the publication record is École Normale Supérieure - PSL, France.

Question 4

How many publications and citations does Patrick M. Cousot have?

Accepted Answer

OpenAlex counts 203 works and 19,647 citations for Patrick M. Cousot, an h-index of 50, ranking #145,172 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Patrick M. Cousot's h-index high?

Accepted Answer

An h-index of 50 is at or above that of 99.1% of the 146,054 ranked researchers whose main subfield is Artificial Intelligence, which is in the top 1%.