Jean-Marie Rifflet
1953
-
country of citizenship: France
languages spoken, written or signed: French
occupation: computer scientist
Jean-Marie Rifflet est un informaticien français. Il est professeur à l'université Paris-Diderot et chercheur au laboratoire Preuves, Programmes et Systèmes (abrégé en PPS). Il a travaillé, dans les années 1970-1980, sur la sémantique des langages de programmation, sous la direction de Maurice Nivat. Il soutient une thèse en 1974. Il soutient une habilitation en 1988. Il enseigne et travaille principalement sur les systèmes UNIX ainsi que sur le système embarqué ChorusOS développé par l'INRIA dans les années 1980. Il a été directeur de l'UFR d'informatique ainsi que vice-président du Conseil des études et de la vie universitaire de l'université Paris-Diderot. Source: Wikipedia (fr)
Human - wd:Q3167802