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