🌐EnglishEnglishDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguêsSvenskaTürkçe中文EntityQ2385483· pop 10· linked from 39 articlesPatrick CousotFrench computer scientistPerson · Open LibraryWorks4Top worksStatic Analysis and Verification of Aerospace Software by Abstract InterpretationPrinciples of Abstract InterpretationStatic AnalysisAlgorithmique et programmation en pascalvia Open Library + WikidataMusic · MusicBrainzTypePersonCountryUSActive from1973-06-06via MusicBrainz · CC0Recent publications · Crossref5 total works indexedThe PRISMA 2020 statement: an updated guideline for reporting systematic reviews · 2021 · cited 76,882xThe ERA5 global reanalysis · 2020 · cited 22,652xReproducible, interactive, scalable and extensible microbiome data science using QIIME 2Available in 9 languagesFrançaisDeutsch中文PortuguêsItalianoazbEgyptian ArabicMalagasyvia Wikidata sitelinks · CC0ConnectionsNew York UniversityEntityEuropean Association for Theoretical Computer ScienceEntityCategories1948 birthsAcademic staff of École polytechniqueFrench computer scientistsLiving peopleMembers of Academia EuropaeaProgramming language researchersRecipients of the Ordre des Palmes Académiques