Portail thématique généraliste
Pomms : Portail et magazine aux multiples sujets
Accueil > Auteur > Frédéric Prost
 

Frédéric Prost

 

Frédéric Prost est actuellement maître de conférences en informatique à l’université Joseph Fourier de Grenoble. il donne des cours à l’université, et il est chercheur au laboratoire de la confédération IMAG.

Avant de devenir docteur en informatique de l’ENS Lyon en 1999, il a fait un DEUG de sciences (orienté physique), une licence d’informatique et une maîtrise de Mathématiques Discretes. Ses recherches portent principalement sur la théorie de la programmation :

* Réécriture de graphes, informatique quantique (langage de programmation adapté).

* Sécurité (comment prouver des propriétés de confidentialité dans les programmes).

* Les liens entre la logique et l’informatique (comment prouver des choses sur les programmes).

 

 
 

Articles...

Sommes nous à l’aube d’une révolution informatique ?
Pourquoi tout le monde a besoin de codes secrets ?
Quelle est la taille du plus gros volcan sur terre ?
D’où vient l’ordinateur ?