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 ainsi que sur le sys...