Jean-Marie Rifflet

Page d’aide sur l’homonymie

Pour les articles homonymes, voir Rifflet.

Cet article est une ébauche concernant une personnalité française et l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Jean-Marie Rifflet
Alias
jmr
Nationalité Française
Pays de résidence France
Profession
Autres activités
Descendants

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[réf. nécessaire].

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 de la Commission de la formation et de la vie universitaire de l'université Paris-Diderot.

Ouvrages

Notes et références

  1. ↑ Guy Gousineau et Jean-Marie Rifflet, « Langages d'Interpretation des schémas récursifs », Rev. Française Automat. Informat. Recherche Opérationnelle Sér. Rouge Informat. Théor., vol. 9, no R-1,‎ , p. 21-42 (MR 0411250).
  2. ↑ Guy Cousineau et Jean-Marie Rifflet, Schémas de programme : problèmes d'équivalence et complexité (mémoire de thèse), Université Paris-Diderot - Paris 7, , 227 p. (SUDOC 124185037).
  3. ↑ Interview de Jean-Marie Rifflet pour Dunod, consulté sur www.dunod.com, le .

Voir aussi

Articles connexes

Liens externes