Accueil🇫🇷Chercher

Jean-Marie Rifflet

Jean-Marie Rifflet est un informaticien français.

Jean-Marie Rifflet
Alias
jmr
Nationalité Française
Pays de résidence France
Profession
Autres activités
Descendants

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[1], sous la direction de Maurice Nivat. Il soutient une thèse en 1974[2]. Il soutient une habilitation en 1988.

Il enseigne et travaille principalement sur les systèmes UNIX[3] 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.

Ouvrages

  • La programmation sous Unix, Ediscience et Dunod,, , 3, Ă©d., xx+630 (ISBN 978-2-84074-013-1, SUDOC 061435260)
  • La communication sous Unix : Applications rĂ©parties, Delmas Et Cie, , 2e Ă©d., xxv+438 (ISBN 978-2-84074-106-0, SUDOC 003458253)
  • Exercices corrigĂ©s de programmation UNIX : bus error core dumped, Auckland/Bogota/Paris, McGraw-Hill, , 123 p. (ISBN 2-7042-1169-8, SUDOC 020996926)
  • UNIX : 99 exercices corrigĂ©s, Dunod, , xiii +405 (ISBN 978-2-84074-126-8, SUDOC 003814181)
  • (en) Jean-Marie Rifflet, Programming under ChorusOS, Paris, UniversitĂ© Paris Diderot, , 566 p. (lire en ligne)
  • (avec Jean-Baptiste Yunès), UNIX : programmation et Communication, Dunod, coll. « InfoPro », , xxiv+774 (ISBN 978-2-10-007966-7, SUDOC 07426981X)
  • (avec Jean-Baptiste Yunès), Fondements de la programmation : concepts et techniques, Paris, Ellipses, coll. « RĂ©fĂ©rences sciences », , 259 p. (ISBN 978-2-340-00014-8, SUDOC 180629441).

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

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.