Pascal Cuoq
Pascal Cuoq publishes mostly in Software, Artificial Intelligence and Hardware and Architecture, on topics such as Software Testing and Debugging Techniques, Logic, programming, and type systems and Formal Methods in Verification.
- World rank
- #2,140,598 of 7,710,434 ranked researchers
- Rank in France
- #92,666 of 324,115
- Works
- 23
- Citations
- 1k
- Citations per work
- 43.9
Discussion
Ask a question or share a note about Pascal Cuoq. Posts are plain text and can be reported.