LINARD Alban
Research activity
Alban Linard est ingénieur sur le projet CosyVerif qui vise au développement d’une plate-forme de vérification formelle. Ce projet est mené conjointement par le LIP6 (équipe MoVe), le LIPN et le LSV.
Alban Linard est ingénieur sur le projet CosyVerif qui vise au développement d’une plate-forme de vérification formelle. Ce projet est mené conjointement par le LIP6 (équipe MoVe), le LIPN et le LSV.