reserche

À Propos

Pierre-Louis Curien est directeur de recherche au CNRS. Ancien élève de l’Ecole Normale Supérieure, et après des études de mathématiques, il a fondé en 1999 le laboratoire Preuves, Programmes et Sytèmes (CNRS et Université Paris Diderot), et dirige maintenant au sein de ce laboratoire une équipe commune INRIA (nommée pi;r2) qui pilote le développement du logiciel Coq et mène des études théoriques autour de ce logiciel.

 

Ses Contributions

Contributeurs les + lus

Période:24 heures7 jours
Hugues SerrafSerraf Hugues

Hugues Serraf est écrivain et journaliste. Son dernier roman : La vie, au fond, Intervalles, 2022

 

Voir la bio »
author imageBentata Pierre

Pierre Bentata est Maître de conférences à la Faculté de Droit et Science Politique d'Aix Marseille Université. 

Voir la bio »
author imageBesnard Jérôme

Jérôme Besnard est journaliste, essayiste (La droite imaginaire, 2018) et chargé d’enseignements en droit constitutionnel à l’Université de Paris.

Voir la bio »
RDV Revue de presse : Brad Pitt volage et Hollande sur la plage...de Valicourt Benoît
Benoît de Valicourt s’inscrit dans la tradition du verbe et de l'image. Il travaille sur le sens des mots et y associe l'image réelle ou virtuelle qui les illustre. Il accompagne les acteurs du monde économique et politique en travaillant leur stratégie et leur story-telling et en les invitant à engager leur probité et leurs valeurs sur tous les territoires. 
 
Observateur de la vie politique, non aligné et esprit libre, parfois provocateur mais profondément respectueux, il décrypte la singularité de la classe politique pour atlantico.fr et est éditorialiste à lyonmag.fr
Voir la bio »