Accueil
>
Présentation
>
Personnel
> MARCOZZI Michaël
Présentation
Organigramme
Liste des membres du LRI
Responsabilités administratives
Rapport d'activité
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
M. MARCOZZI Michaël
ATTENTION : ce membre a quitté le laboratoire le 31/10/2015
Post-doctorant
INRIA
Vérification d'Algorithmes, Langages et Systèmes
Tel : +33 7 52 67 04 73
Fax :
Bureau : 65/PCRI-S
Page personnelle :
https://sites.google.com/site/michaeelmarcozzi/
Courrier électronique :
michael.marcozzi@lri.fr
Activités de recherche
-
Démonstration automatique, SMT et applications
-
Langages et systèmes centrés données
Projets
-
Toccata