Page web de Matthieu Journault

Qui suis-je?

Je m'appelle Matthieu Journault (email: prenom.nom[arobase]lip6.fr). Je suis ATER, depuis le 1er Septembre 2019, à Sorbonne Université. J'ai soutenu ma thèse le 21/11/19.

Recherche

Je travaille avec Antoine Miné dans l'équipe APR du LIP6. Mon sujet de recherche est l'analyse statique par interprétation abstraite. Je travaille sur le projet Mopsa.

Publications

Journal articles (refereed)

Articles in conference proceedings (refereed)

Article de médiation scientifique, en langue française

Enseignement courant

Enseignement pass

2019-2020

2018-2019

2017-2018

2016-2017