Researcher · École Normale Supérieure - PSL · France
Patrick M. Cousot
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.
- World rank
- #145,172 of 7,710,434 ranked researchers
- Rank in France
- #10,395 of 324,115
- Works
- 203
- Citations
- 20k
- Citations per work
- 96.8
Discussion
Ask a question or share a note about Patrick M. Cousot. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.