About: Patrick Cousot     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : umbel-rc:Scientist, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FPatrick_Cousot&invfp=IFP_OFF&sas=SAME_AS_OFF

Patrick Cousot (born 3 December 1948) is a French computer scientist, currently Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, USA. Before he was Professor at the École Normale Supérieure (ENS), Paris, France, the École Polytechnique, Palaiseau, France and the University of Metz, France and a Research Scientist at the French National Center for Scientific Research (CNRS) at the Joseph Fourier University, Grenoble, France.

AttributesValues
rdf:type
rdfs:label
  • Patrick Cousot (de)
  • Patrick Cousot (it)
  • Patrick Cousot (fr)
  • Patrick Cousot (en)
  • Patrick Cousot (pt)
  • 帕特里克·库索 (zh)
rdfs:comment
  • Patrick Cousot (né le 3 décembre 1948) est enseignant-chercheur en informatique français, professeur émérite à l'École normale supérieure à Paris. Avec son épouse Radhia Cousot, il définit l'interprétation abstraite, une technique de méthode formelle. À ce titre, ils reçoivent le Programming Languages Achievement Award in 2013 de l'ACM SIGPLAN en 2013 et le prix Harlan D. Mills de l'IEEE Computer Society en 2014. (fr)
  • Patrick Cousot (3 de dezembro de 1948) é um cientista da computação francês. Juntamente com sua mulher (1947–2014) é originador da , uma influente técnica em métodos formais. Na década de 2000 trabalhou com métodos práticos de . Foi professor de ciência da computação da Escola Normal Superior de Paris desde 1991. Em março de 2008 tornou-se professor de ciênmcia da computação da Universidade de Nova Iorque. É cavaleiro da Ordem Nacional do Mérito e da Ordem das Palmas Acadêmicas. Recebeu a Medalha John von Neumann IEEE de 2018. (pt)
  • 帕特里克·库索（1948年12月3日－）是一位法国计算机科学家。在2000年代，他一直致力于为关键嵌入式软件（如航空电子设备）提供实用的方法。自1991年以来，他一直在巴黎高等师范学院担任计算机科学教授。 (zh)
  • Patrick Cousot (* 3. Dezember 1948 in New York City) ist ein französischer Informatiker. Er studierte an der École nationale supérieure des mines de Nancy und der Universität Grenoble, an der er 1974 bei promoviert wurde, mit dem zweiten Teil der französischen Promotion, dem Doctorat d´Etat, 1978 bei . Er forschte für das CNRS an der Universität Grenoble, war Professor in Metz und an der École polytechnique und war ab 1991 Professor an der École normale supérieure. Später wurde er Professor am Courant Institute of Mathematical Sciences of New York University. (de)
  • Patrick Cousot (born 3 December 1948) is a French computer scientist, currently Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, USA. Before he was Professor at the École Normale Supérieure (ENS), Paris, France, the École Polytechnique, Palaiseau, France and the University of Metz, France and a Research Scientist at the French National Center for Scientific Research (CNRS) at the Joseph Fourier University, Grenoble, France. (en)
  • Patrick Cousot (Pont-l'Évêque, 3 dicembre 1948) è un informatico francese. Insieme alla moglie (1947–2014), Cousot è il creatore dell'interpretazione astratta, una tecnica molto utilizzata per la verifica e l'ottimizzazione di programmi. Negli anni 2000 ha lavorato all' di software integrati ad alta criticità come quelli usati in avionica. È stato professore di informatica all'École Normale Supérieure (ENS) a Parigi fin dal 1991. Dal 2008, Cousot è professore di informatica all'Università di New York. Patrick Cousot è cavaliere dell'Ordine nazionale al merito (francese) dell'Ordine delle Palme accademiche. Nel 1999 ha ricevuto la medaglia d'argento del CRNS e nel 2006 il gran premio della fondazione EADS. Nel 2001, ha ricevuto un dottorato ad honorem dall'Università del Saarland, Germa (it)
foaf:name
  • Patrick Cousot (en)
name
  • Patrick Cousot (en)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Patrick_Cousot_0743-c.jpg
birth date
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software