Prof. Dr. Patrick Cousot, Informatikprofessor an der École Normale Supérieure in Paris, Frankreich, ist mit dem Humbold-Forschungspreis  ausgezeichnet worden.  Mit dem 60.000€ dotierten Preis wird das wissenschaftliche Lebenswerk des Preisträgers gewürdigt.  Patrick  Cousot ist der Vater der „Abstrakten Interpretation”.  Diese Form der  abstrakten Ausführung von Programmen dient der Qualitätskontrolle z.B.  in der Entwicklung der Software im neuen Airbus 380.
 
Patrick Cousot wird als Gastwissenschaftler am Institut für Informatik bei Prof. Dr. Andreas Podelski arbeiten, der ihn zusammen mit Kollegen aus  Saarbrücken und München für den Preis nominiert hat.  Es wird noch  überlegt, in welchem Restaurant in Freiburg der Preis gefeiert wird:   Patrick Cousot gilt als besonders kritischer Gourmet...

(Die Humboldt-Stiftung zeichnet jährlich mehrere international anerkannte Wissenschaftlerinnen und Wissenschaftler mit Forschungspreisen aus, die mit ihren grundlegenden Entdeckungen, neuen Theorien oder Erkenntnissen ihr Fachgebiet nachhaltig geprägt haben. Das Preisgeld ist für ein gemeinsames Forschungsprojekt mit deutschen Fachkolleginnen und - kollegen vorgesehen. Die Humboldt-Stiftung trägt damit zur Förderung der internationalen wissenschaftlichen Zusammenarbeit bei.)