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 |
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.
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 .