Patrick Cousot

Silver Professor; Professor of Computer Science

1972 …2020

Research output 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

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

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

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

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

External person

Francesco Logozzo

  • Microsoft USA

External person

Liqian Chen

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

External person

Julien Bertrane

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

External person

David Monniaux

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

External person

Ji Wang

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

External person

Michael Barnett

  • Microsoft USA

External person

Eric Goubault

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

External person

Roberto Giacobazzi

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

External person

Bruno Blanchet

  • École normale supérieure
  • École normale supérieure de Lyon
  • Université PSL

External person

André Schmidt

  • Daimler AG

External person

Moreno Falaschi

  • University of Padova

External person

Margaria, Tiziana

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

External person

Gilberto Filè

  • University of Padova

External person

Heinz Hille

  • Daimler AG

External person

Khalil Ghorbal

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

External person

Sylvie Putot

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

External person

Ganty, Pierre

  • 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

External person

Jackson, Michael

  • Open University Milton Keynes
  • Centre for Research in 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

External person

Stephan Wilhelm

  • Absint Angewandte Informatik GmbH

External person

Christian Ferdinand

  • Absint Angewandte Informatik GmbH

External person

Michael Monerau

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

External person

Hinchey, Mike

  • 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
  • New York University

External person

Manuel Fandrich

  • Microsoft USA

External person

Manuel Fähndrich

  • Microsoft USA

External person

Alglave, Jade

  • University College London

External person

Francesco Ranzato

  • University of Padova

External person

Chaoqiang Deng

  • New York University
  • Department of Computer Science

External person

Daniel Kaestner

  • Absint Angewandte Informatik GmbH

External person

Byron Cook

  • University of Cambridge
  • Microsoft USA

External person

Antoine Rauzy

  • Université de Bordeaux
  • Departement Informatique

External person

Raskin, Jean François

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

External person

Bowen, Jonathan P.

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

External person