LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » News » PhD students

JOURNAULT Matthieu

PhD student (ATER, Sorbonne Université)
Team : APR
Arrival date : 09/01/2016
Localisation : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 3, Bureau 303
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE
Tel: +33 1 44 27 88 16, Matthieu.Journault (at) nulllip6.fr
https://www-apr.lip6.fr/~journault/
Supervision : Antoine MINÉ

Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction et l'inférence de contrats

2016-2019 Publications

 Mentions légales
Site map |