Patrick Cousot

Silver Professor; Professor of Computer Science

1972 …2021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Network

Radhia Cousot

  • École polytechnique
  • École normale supérieure
  • Microsoft USA
  • Institut national de recherche en informatique et en automatique
  • Université Paris-Sud
  • CNRS
  • École normale supérieure and Microsoft Research
  • LIX
  • ENS
  • Inria
  • CNRS Emeritus
  • É Cole Normale Supérieure
  • U. S. M. G.
  • USMG
  • ComUE Paris-Saclay
  • Laboratoire d'Informatique
  • Université de Paris-Sud
  • Université PSL
  • CNRS Centre National de la Recherche Scientifique
  • Laboratoire d'Informatique
  • Laboratoire d ’ informatique
  • CNRS Emeritus
  • Centre National de la Recherche Scientifique
  • CRIN Nancy
  • CNRS U.R.A. 1439
  • Département d'Informatique
  • Université Paris-Saclay
  • Ecole Normale Supérieure

External person

Laurent Mauborgne

  • École normale supérieure
  • IMDEA Institute
  • École normale supérieure de Lyon
  • Technical University of Madrid
  • Absint Angewandte Informatik GmbH
  • Université PSL
  • Département d'Informatique
  • AbsInt Angewandte Informatik
  • Ecole Normale Supérieure

External person

Xavier Rival

  • Institut national de recherche en informatique et en automatique
  • École normale supérieure
  • École normale supérieure de Lyon
  • INRIA/ENS
  • Université PSL
  • Département d'Informatique
  • Ecole Normale Supérieure

External person

Antoine Miné

  • École normale supérieure
  • CNRS
  • École normale supérieure de Lyon
  • Université PSL
  • CNRS Centre National de la Recherche Scientifique
  • Département d'Informatique
  • Universite Pierre et Marie Curie
  • Ecole Normale Supérieure

External person

Jérôme Feret

  • Institut national de recherche en informatique et en automatique
  • École normale supérieure
  • École normale supérieure de Lyon
  • INRIA/ENS
  • Université PSL
  • Département d'Informatique
  • Ecole Normale Supérieure

External person

Francesco Logozzo

  • Microsoft USA

External person

Liqian Chen

  • National University of Defense Technology
  • École normale supérieure
  • Université PSL
  • Ecole Normale Supérieure

External person

Julien Bertrane

  • École normale supérieure
  • Département d'Informatique
  • Université PSL
  • New York University
  • Ecole Normale Supérieure

External person

David Monniaux

  • École normale supérieure
  • École normale supérieure de Lyon
  • Université PSL
  • CNRS Centre National de la Recherche Scientifique
  • CNRS
  • Ecole Normale Supérieure

External person

Ji Wang

  • National University of Defense Technology
  • State Key Laboratory of High Performance Computing
  • State Key Laboratory of High Performance Computing

External person

Michael Barnett

  • Microsoft USA

External person

Roberto Giacobazzi

  • University of Verona
  • Universitá degli Studi di Verona
  • IMDEA Institute
  • IMDEA Software Institute

External person

Eric Goubault

  • CEA
  • Commissariat a L'Energie Atomique CEA
  • Université Paris-Saclay
  • ComUE Paris-Saclay

External person

Francesco Ranzato

  • University of Padova

External person

Bruno Blanchet

  • École normale supérieure
  • École normale supérieure de Lyon
  • Université PSL
  • Ecole Normale Supérieure

External person

Daniel Kaestner

  • Absint Angewandte Informatik GmbH

External person

Moreno Falaschi

  • University of Padova

External person

Tiziana Margaria

  • European Association of Software Science and Technology (EASST
  • University of Potsdam
  • Institute of Informatics

External person

Gilberto Filè

  • University of Padova

External person

Khalil Ghorbal

  • CEA
  • Commissariat a L'Energie Atomique CEA
  • Université Paris-Saclay
  • ComUE Paris-Saclay

External person

Sylvie Putot

  • CEA
  • Commissariat a L'Energie Atomique CEA
  • Université Paris-Saclay
  • ComUE Paris-Saclay

External person

Heinz Hille

  • Daimler AG

External person

Pierre Ganty

  • Université libre de Bruxelles
  • Maître de Recherches du FRS-FNRS

External person

Jiangchao Liu

  • National University of Defense Technology

External person

Banghu Yin

  • State Key Laboratory of High Performance Computing
  • National University of Defense Technology
  • State Key Laboratory of High Performance Computing

External person

Salvatore Guarnieri

  • University of Washington
  • IBM
  • University of Washington

External person

Olivier Bouissou

  • CEA
  • Commissariat a L'Energie Atomique CEA
  • Université Paris-Saclay
  • ComUE Paris-Saclay

External person

Stephan Wilhelm

  • Absint Angewandte Informatik GmbH

External person

Christian Ferdinand

  • Absint Angewandte Informatik GmbH

External person

Michael Jackson

  • Open University Milton Keynes

External person

Michael Monerau

  • École normale supérieure
  • Université PSL
  • New York University

External person

Mike Hinchey

  • Lero
  • Department of Software Engineering
  • University of Limerick
  • Irish Software Engineering Research Center

External person

Omer Tripp

  • IBM
  • Tel Aviv University

External person

David Lesens

  • ASTRIUM ST
  • Airbus Group

External person

Junjie Chen

  • New York University

External person

Manuel Fandrich

  • Microsoft USA

External person

Manuel Fähndrich

  • Microsoft USA

External person

Jade Alglave

  • University College London

External person

Chaoqiang Deng

  • New York University
  • Department of Computer Science

External person

Byron Cook

  • University of Cambridge
  • Microsoft USA

External person

Antoine Rauzy

  • Université de Bordeaux
  • Departement Informatique

External person

Jean François Raskin

  • Université libre de Bruxelles
  • Maître de Recherches du FRS-FNRS

External person

Jonathan P. Bowen

  • Museophile Limited
  • King's College London
  • London South Bank University

External person

Your message has successfully been sent.
Your message was not sent due to an error.