PROFILPELAJAR.COM

Radhia Cousot

Radhia Cousot

Bizitza
Jaiotzako izen-deiturakRadhia Rezig
JaiotzaSakiet Sidi Youssef (en) Itzuli, 1947ko abuztuaren 6a
Herrialdea Frantzia
BizilekuaNew York
HeriotzaNew York, 2014ko maiatzaren 1a (66 urte)
Familia
Ezkontidea(k)Patrick Cousot
Hezkuntza
HeziketaNancy-Université
National Polytechnic School (en) Itzuli
Joseph Fourier University (en) Itzuli
Tesi zuzendariaClaude Pair (en) Itzuli
Doktorego ikaslea(k)Pietro Ferrara
Matteo Zanioli
Elodie-Jane Sims
Arnaud Venet
Stanislas Tzolovski
Damien Massé
Francesco Logozzo
Charles Hymans
Caterina Urban
Hizkuntzakfrantsesa
ingelesa
Jarduerak
Jarduerakinformatikaria eta ingeniaria
Enplegatzailea(k)Joseph Fourier University (en) Itzuli
Université Paris-Sud
École polytechnique
Henri Poincaré University (en) Itzuli
CNRS
École normale supérieure
Jasotako sariak

Radhia Cousot (Sakiet Sidi Youssef, Tunisia, 1947ko abuztuaren 6a - New York, 2014ko maiatzaren 1a) zientzialari, matematikari eta informatikari frantsesa izan zen, interpretazio abstraktua asmatu zuena. Interpretazio abstraktua programa informatikoen semantikara hurbiltzeko teoria bat da, eta esparru bateratu bat eskaintzen die sistema informatiko eta biologikoen egiaztapenari lotutako hainbat metodori.[1][2]

Ikasketak

Radhia Cousot 1947ko abuztuaren 6an jaio zen Sakiet Sidi Youssef herrian (Tunisia), eta 1958ko otsailaren 8an bere eskolan izandako haurren sarraskitik bizirik atera zen. Ondoren, Lycéede jeunes filles de Sousse ikastetxean ikasi zuen, gero Lycée français d’Alger eskolan, eta jarraian Aljerreko Eskola Politeknikoan, non lehen emakumea eta bakarra izan zen. Optimizazio matematikoan eta programazio linealean espezializatu zen. UNESCOren beka baten laguntzarekin (1972–1975), Informatika masterra (DEA) lortu zuen Grenobleko Joseph Fourier Unibertsitatean 1972an. Zientzietako doktoregoa / lortu zuen Nancyn, 1985ean.[2]

Ibilbide profesionala

Radhia Cousot IMAG laborategiko ikertzaile elkartua izan zen Grenobleko Université Joseph Fourier unibertsitatean (1975–1979). 1980tik aurrera, CNRSen aritu zen: ikertzaile junior, ikertzaile, ikertzaile senior eta ikertzaile emeritu gisa. Informatika laborategietan lan egin zuen:

Lorpen zientifikoak

Radhia Cousotek eta bere senarrak, Patrick Cousotek, elkarrekin sortu zuten interpretazio abstraktua, metodo formaletan eragin handia izan duen teknika.[3][4] Interpretazio abstraktuaren hiru ideia nagusiak hauek dira:

  1. Edozein arrazoiketa/froga/analisik sistema informatiko baten semantika bati egiten dio erreferentzia, abstrakzio‑maila batean bere exekuzio posibleak deskribatzen dituena.
  2. Arrazoinamendu/froga/analisi estatikoak arrazoiketarako garrantzirik ez duten propietate semantiko guztiak abstraitu beharko lituzke.
  3. Erabakiezintasuna dela eta, sistema informatikoen proba/analisi estatikoen gainean amaitzen diren arrazoiketa solidoek, guztiz automatizatuek, indukzio matematikoa abstraktuan egin behar dute, eta, beraz, hurbilketak baino ezin dira izan (finitutasunaren eta erabakitasunaren hipotesiarekin ere bai, sistema txikiez haraindiko eztanda konbinatorioa dela eta).

Bere tesiaren barruan, Cousotek programa paralelo eta konkurrenteen semantika, frogaketa eta analisi estatikoaren metodoak garatu zituen.[5][6]

1999ko urtarrilean Airbusekin harremanak abiatu zituen, eta horrek ekarri zuen Astrée izeneko errore‑analizatzaile estatikoaren garapena (2001etik aurrera). Astrée software txertatuaren kontrol‑komando sistemetan erabiltzen da, eta gaur egun AbsInt GmbH alemaniar enpresak banatzen du.[7] Industria aeroespazialean, garraioan eta software medikoan erabiltzen da.[8]

Sariak

Patrick Cousotekin batera, honako sari hauek jaso zituen:

  • ACM SIGPLAN Programming Languages Achievement Award (2013)
  • IEEE Computer Society Harlan D. Mills Award (2014), “interpretazio abstraktuaren asmakizuna, tresnen garapena eta aplikazio praktikoa” aitortuz.[9][10]

Radhia Cousot saria, ikertzaile gazte onenari

2014ko irailaz geroztik, Static Analysis Symposium (SAS) kongresuko programaren presidenteak urtero ematen du Radhia Cousot Saria, ikerketa‑lan gazte onenari.[11]

Erreferentziak

  1. ↑ Macho Stadler, Marta. (2015-08-06). Radhia Cousot, especialista en ciencias de la computación. .
  2. ↑ a b Chaudhuri, Swarat. (2014-06-09). Radhia Cousot. The PL Enthusiast.
  3. ↑ Cousot, Patrick; Cousot, Radhia. (1977-01-01). «Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints» Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (Association for Computing Machinery): 238–252.  doi:10.1145/512950.512973. ISBN 978-1-4503-7350-0. (kontsulta data: 2026-07-24).
  4. ↑ Cousot, Patrick; Cousot, Radhia. (1979-01-01). «Systematic design of program analysis frameworks» Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (Association for Computing Machinery): 269–282.  doi:10.1145/567752.567778. ISBN 978-1-4503-7357-9. (kontsulta data: 2026-07-24).
  5. ↑ «R. Cousot, Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles.» www.di.ens.fr.
  6. ↑ Cousot, Radhia. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. .
  7. ↑ «Astrée Runtime Error Analyzer» www.absint.com.
  8. ↑ The Astrée Static Analyzer. .
  9. ↑ «Programming Languages Achievement Award» www.sigplan.org.
  10. ↑ «Harlan D. Mills Award • IEEE Computer Society» www.computer.org.
  11. ↑ «Static Analysis Symposia Central Site» staticanalysis.org.

Kanpo estekak

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.