| 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.