词条 | Radhia Cousot |
释义 |
|name = Radhia Cousot |image = RadhiaCousot--Picture.jpg |image_size = |caption = |birth_date = {{Birth date|1947|8|6|df=y}} |birth_place = Sakiet Sidi Youssef, Tunisia |death_date = {{Death date and age|2014|5|1|1946|8|6|df=y}} |death_place = New York City |residence = New York City |citizenship = |nationality = French |ethnicity = |spouse = Patrick Cousot |field = Computer science |work_institutions = |alma_mater = Institut National Polytechnique de Lorraine |thesis_title = Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles |thesis_year = 1985 |doctoral_advisor = Claude Pair |doctoral_students = |known_for = Abstract interpretation |author_abbrev_bot = |author_abbrev_zoo = |influences = |influenced = |prizes =ACM SIGPLAN Programming Languages Achievement Award IEEE Computer Society Harlan D. Mills Award |religion = |footnotes = }} Radhia Cousot (6 August 1947 – 1 May 2014)[1] was a French computer scientist known for inventing abstract interpretation. StudiesRadhia Cousot was born on 6 August 1947, in Sakiet Sidi Youssef in Tunisia, where she survived the massacre of the children in her school on February 8, 1958. She then went to the Lycée de jeunes filles at Sousse, the Lycée français at Algiers and then the Polytechnic School of Algiers (where she was ranked 1st and the only woman). She specialized in mathematical optimization and integer linear programming. Supported by a UNESCO fellowship (1972–1975), she obtained a master's degree in Computer Science (Diplôme d'études approfondies (DEA)) at the Joseph Fourier University of Grenoble in 1972. She obtained her Doctorate ès Sciences/State Doctorate in Mathematics in Nancy in 1985 under the supervision of {{Interlanguage link multi|Claude Pair|fr}}.[2] CareerRadhia Cousot was appointed Associate research scientist at the IMAG laboratory of the Joseph Fourier University of Grenoble (1975–1979) and, from 1980 on, at the Centre national de la recherche scientifique, as junior research scientist, research scientist, senior research scientist, and senior research scientist emerita at the Computer Science laboratories of the Henri Poincaré University of Nancy (1980–1983), the University of Paris-Sud at Orsay (1984–1988), the École Polytechnique (1989–2008) where from 1991 she headed the research team “Semantics, Proof and Abstract interpretation”, and the École Normale Supérieure (2006–2014). Scientific achievementsTogether with her husband Patrick, Radhia Cousot is the originator of abstract interpretation,[3][4] an influential technique in formal methods. Abstract interpretation is based on three main ideas.
In her thesis, Radhia Cousot advanced the semantics, proof, and static analysis methods for concurrent and parallel programs.[5] Radhia Cousot is at the origin of the contacts with Airbus in January 1999 that lead to the development of Astrée run-time error analyzer from 2001 onwards, a tool for sound static program analysis of embeddedcontrol/command software developed at the École Normale Supérieure[6] and now distributed by AbsInt GmbH,[7] a German software company specialized on static analysis. Astrée is used in the transportation, space, and medical software industries. AwardsWith Patrick Cousot, she received the ACM SIGPLAN Programming Languages Achievement Award [8] in 2013 and the IEEE Computer Society IEEE Computer Society Harlan D. Mills award [9] in 2014 for “the invention of ‘abstract interpretation’, development of tool support, and its practical application”. Radhia Cousot best young researcher paper awardSince September 2014, the Radhia Cousot best young researcher paper award[10] is attributed annually by the program chair on behalf of the program committee of the Static Analysis Symposia (SAS).[11]
Notes1. ^{{cite web|url=http://www.cnrs.fr/ins2i/spip.php?article733|title=Institut des sciences de l'information et de leurs interactions - CNRS - Disparition de Radhia Cousot|website=www.cnrs.fr}} 2. ^In the 1980s, there existed in France two levels of PhDs, the higher one, the Doctorate ès Sciences/State Doctorate being necessary to access professorships. It has since been replaced by the habilitation. 3. ^{{cite book|chapter-url=http://dl.acm.org/citation.cfm?id=512950.512973|title=Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints|first1=Patrick|last1=Cousot|first2=Radhia|last2=Cousot|date=1 January 1977|publisher=ACM|pages=238–252|via=dl.acm.org|doi=10.1145/512950.512973|chapter=Abstract interpretation|citeseerx=10.1.1.216.8213}} 4. ^{{cite book|chapter-url=http://dl.acm.org/citation.cfm?id=567752.567778|first1=Patrick|title=Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79|last1=Cousot|first2=Radhia|last2=Cousot|date=1 January 1979|publisher=ACM|pages=269–282|via=dl.acm.org|doi=10.1145/567752.567778|chapter=Systematic design of program analysis frameworks|citeseerx=10.1.1.207.2895}} 5. ^{{cite web|url=http://www.di.ens.fr/~rcousot/COUSOTpapers/THESE-RC-1985.shtml|title=R. Cousot, Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles.|last=|first=|date=|website=www.di.ens.fr|archive-url=|archive-date=|dead-url=|access-date=}} 6. ^{{cite web|url=http://www.astree.ens.fr/,|title=Home page of the Astrée Static Analyzer at ENS|website=ens.fr}} 7. ^{{cite web|url=http://www.absint.com/astree/index.htm,|title=Astrée Runtime Error Analyzer|last=webmaster@absint.com|website=www.absint.com}} 8. ^{{cite web|url=http://www.sigplan.org/Awards/Achievement/|title=Programming Languages Achievement Award|website=www.sigplan.org}} 9. ^{{cite web|url=http://www.computer.org/portal/web/awards/harlan|title=Harlan D. Mills Award • IEEE Computer Society|website=www.computer.org}} 10. ^{{cite web|url=http://www.di.ens.fr/~rcousot/award.html|title=Radhia Cousot best young researcher paper award|first=Radhia Cousot|last=http://www.di.ens.fr/~rcousot/|website=www.di.ens.fr}} 11. ^{{cite web|url=http://staticanalysis.org/|title=Static Analysis Symposia Central Site|website=staticanalysis.org}} References{{Reflist}}External links
11 : 1947 births|2014 deaths|2014 in science|French women computer scientists|French women scientists|Women computer scientists|Formal methods people|Programming language researchers|Software engineering researchers|Nancy-Université alumni|20th-century women scientists |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。