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 obtient une habilitation à diriger des recherches en 1988.
Il enseigne et travaille principalement sur les systèmes UNIXInterview de Jean-Marie Rifflet pour Dunod, consulté sur www.dunod.com, le . 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 de la Commission de la formation et de la vie universitaire de l'université Paris-Diderot.
Ouvrages
.
Notes et références
Voir aussi Articles connexes ChorusOS UNIX Guy Cousineau
Liens externes
Page personnelle Laboratoire Preuves, Programmes et Systèmes - PPS CNRS UMR 7126
Catégorie:Informaticien français Catégorie:Professeur à l'université Paris-VII (Diderot) Catégorie:Date de naissance non renseignée (XXe siècle)