Jean-Marie Rifflet
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.
| 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[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[modifier | modifier le code]
- 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[modifier | modifier le code]
- 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).
- 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).
- Interview de Jean-Marie Rifflet pour Dunod, consulté sur www.dunod.com, le .
