![Jean-Pierre BANATRE | IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Rennes | IRISA | Research profile Jean-Pierre BANATRE | IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Rennes | IRISA | Research profile](https://www.researchgate.net/profile/Jean-Pierre-Banatre/publication/225418037/figure/fig2/AS:669085205540876@1536533752960/Highly-available-mail-system_Q320.jpg)
Jean-Pierre BANATRE | IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Rennes | IRISA | Research profile
![LORIA : une ERC Starting Grant pour Jasmin Blanchette | Factuel | le site d'actu de l'Université de Lorraine LORIA : une ERC Starting Grant pour Jasmin Blanchette | Factuel | le site d'actu de l'Université de Lorraine](https://factuel.univ-lorraine.fr/sites/factuel.univ-lorraine.fr/files/field/image/2016/10/jasmin_blanchette_2016.jpeg)
LORIA : une ERC Starting Grant pour Jasmin Blanchette | Factuel | le site d'actu de l'Université de Lorraine
![Jean-Pierre BANATRE | IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Rennes | IRISA | Research profile Jean-Pierre BANATRE | IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Rennes | IRISA | Research profile](https://www.researchgate.net/profile/Jean-Pierre-Banatre/publication/225418037/figure/fig1/AS:669085205536797@1536533752935/A-possible-execution-of-the-program-computing-the-maximum_Q320.jpg)
Jean-Pierre BANATRE | IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Rennes | IRISA | Research profile
![Prospects for Functional Programming in Software Engineering by Jean-Pierre Banatre, Simon B. Jones, Daniel Le Metayer, Paperback | Barnes & Noble® Prospects for Functional Programming in Software Engineering by Jean-Pierre Banatre, Simon B. Jones, Daniel Le Metayer, Paperback | Barnes & Noble®](http://prodimage.images-bn.com/pimages/9783540538523_p0_v2_s1200x630.jpg)