Paul Caspi, né le 13 septembre 1944 et mort le 24 avril 2012, est un informaticien français.Ancien élève de l'École polytechnique (X 1965), Paul Caspi a soutenu une thèse d'état le 25 mai 1978 intitulée Sur l'identification des systèmes linéaires déterministes instables à l'université de Grenoble.

PropertyValue
dbpedia-owl:abstract
  • Paul Caspi, né le 13 septembre 1944 et mort le 24 avril 2012, est un informaticien français.Ancien élève de l'École polytechnique (X 1965), Paul Caspi a soutenu une thèse d'état le 25 mai 1978 intitulée Sur l'identification des systèmes linéaires déterministes instables à l'université de Grenoble. Il était directeur de recherches émérite au CNRS et membre du laboratoire Verimag à Grenoble.Il est le co-inventeur du langage de programmation Lustre, qui appartient à la catégorie des langages synchrones. Lustre a été industrialisé par la société Verilog sous le nom de SCADEet a servi en particulier à la conception des logiciels de contrôle-commande des centrales nucléaires, des logiciels de commande de vol des avions Airbus (à partir de l'A340) et des logiciels de contrôle-commande de nombreux systèmes ferroviaires (trains, métros, hélicoptères, grues…). Le logiciel SCADE est aujourd'hui commercialisé par la société Esterel Technologies. Paul Caspi a également travaillé sur de nombreux domaines de recherche liés aux systèmes à sûreté critique, dont les réseaux de Kahn, les architectures sûres de fonctionnement, la fiabilité du logiciel, et les techniques de répartition automatique de programmes synchrones. Il a reçu le Prix Monpetit de l'Académie des Sciences en 2004 avec son collègue Nicolas Halbwachs.
dbpedia-owl:wikiPageID
  • 4434205 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2091 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 13 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 106615371 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • Paul Caspi, né le 13 septembre 1944 et mort le 24 avril 2012, est un informaticien français.Ancien élève de l'École polytechnique (X 1965), Paul Caspi a soutenu une thèse d'état le 25 mai 1978 intitulée Sur l'identification des systèmes linéaires déterministes instables à l'université de Grenoble.
rdfs:label
  • Paul Caspi
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of