Patrick Cousot

Patrick Cousot Obraz w Infobox. Patrick Cousot wygłasza konferencję na EPFL w 2007 roku. Biografia
Narodziny 3 grudnia 1948
Nowy Jork
Narodowość Francuski
Dom Nowy Jork
Trening Nancy National School of Mines
Zajęcia Informatyk , inżynier
Małżonka Radhia Cousot
Inne informacje
Pole Informatyka
Członkiem Academia Europaea (2006)
Mistrzowie Michael Griffiths ( d ) , Philippe Jorrand ( d )
Nagrody

Patrick Cousot (urodzony dnia3 grudnia 1948) jest nauczycielem-badaczem francuskiej informatyki , emerytowanym profesorem w École normale supérieure w Paryżu .

Wraz z żoną Radhią Cousot definiuje abstrakcyjną interpretację , technikę metody formalnej . W związku z tym otrzymali ACM SIGPLAN w 2013 r. I Harlan D. Mills Prize od IEEE Computer Society w 2014 r. 

Trasa

Patrick Cousot jest inżynierem z École des Mines de Nancy , którą ukończył w 1971 roku . W 1974 roku obronił pracę doktorską tezę na 3 -cim  cyklu, aw 1978 roku jego praca stan nauk matematycznych na Uniwersytecie w Grenoble  ; ta ostatnia dotyczyła formułowania abstrakcyjnej interpretacji , będącej od tego czasu głównym przedmiotem jego badań. Jest to teoria przybliżenia zachowania programów komputerowych, pozwalająca w szczególności na dokonywanie automatycznych analiz.

W 1974 roku wstąpił do CNRS . W 1979 roku został profesorem na uniwersytecie w Metz, gdzie zajmował się realizacją kursów informatycznych. W 1984 roku został profesorem w École polytechnique , gdzie pracował nad założeniem laboratorium komputerowego École polytechnique (LIX). W 1991 roku dołączył do École normale supérieure, pozostając profesorem w niepełnym wymiarze godzin na Polytechnique do 1997 roku. Został dyrektorem informatyki i zespołu badawczego zajmującego się semantyką i interpretacją abstrakcyjną. W 2005 roku był profesorem wizytującym w Massachusetts Institute of Technology . Od 2017 roku jest emerytowanym profesorem na wydziale informatyki ENS.

W ostatnich latach Był szczególnie zainteresowany rozwojem oprogramowania do analizy statycznej do weryfikacji właściwości bezpieczeństwa krytycznych systemów pokładowych, takich jak te spotykane w lotnictwie.

W 1999 r. Otrzymał srebrny medal CNRS , w 2001 r. Tytuł doktora honoris causa Uniwersytetu Saary , w 2006 r. Nagrodę główną Fundacji EADS za badania mające zastosowanie przemysłowe. Jest kawalerem Orderu Zasługi i członkiem Academia Europaea .

Oprócz publikacji naukowych napisał we współpracy z żoną Radhią kilka wprowadzających książek o programowaniu .

Uwagi i odniesienia

  1. Interpretacja abstrakcyjna: ujednolicony model sieciowy do analizy statycznej programów poprzez konstrukcję lub przybliżenie punktów stałych, Materiały POPL '77 z 4. sympozjum ACM SIGACT-SIGPLAN na temat zasad języków programowania, strony 238-252, ACM New York, NY, USA
  2. Systematyczne projektowanie ram analizy programów, POPL '79 Materiały z szóstego sympozjum ACM SIGACT-SIGPLAN na temat zasad języków programowania, strony 269-282, ACM New York, NY, USA
  3. CNRS , „  Silver medals of the CNRS 1999  ” , na http://www.cnrs.fr ,1999(dostęp 31 lipca 2014 ) .
  4. Portret i powiększ prace badawcze Patricka Cousota na stronie internetowej EADS Corporate Foundation .

Linki zewnętrzne