Où va l'informatique ?

En théorie, la théorie et la pratique c'est pareil, en pratique c'est pas vrai (d'après Yogi Berra)

Coq : aspects pratiques de la théorie des types

Où va l'informatique ?

Enseigner l'informatique

Automatisation de la maintenance du noyau de Linux : l'expérience Coccinelle

Les aspects scientifiques de la sécurité informatique

Sécurité numérique – sommes-nous condamnés à une lutte inégale entre le glaive et le bouclier ?

Retour sur quelques questions de recherche en informatique moins connues du public

Les enjeux de la recherche publique en informatique

Plaidoyer pour les trajectoires non linéaires