Patrick Cousot
Author of Algorithmique et programmation en pascal: Cours
Works by Patrick Cousot
Tagged
Common Knowledge
- Organizations
- ACM (Fellow, 2020)
Academia Europaea (Member)
IMDEA Software Institute - Awards and honors
- CNRS Silver Medal (1999)
Great prize of the EADS Foundation (2006)
ACM SIGPLAN Programming Languages Achievement Award (2013)
IEEE Harlan D. Mills award (2014)
IEEE John von Neumann Medal (2018)
EATCS Award (2022) (show all 8)
Ordre National du Mérite (Knight)
Ordre des Palmes Académiques (Knight)
Members
Reviews
No reviews found.
Statistics
- Works
- 3
- Members
- 12
- Popularity
- #813,247
- ISBNs
- 6
- Languages
- 1