Qui suis-je ?

Je m'appelle Matthieu Journault. Je suis doctorant, depuis le 1er Septembre 2016, dans l'équipe APR du LIP6. Mon encadrant est Antoine Miné.

Recherche

Mon sujet de recherche est l'analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l’inférence de contrats.

Publications

Enseignement