Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > MARCOZZI Michaël
Présentation
M. MARCOZZI Michaël

ATTENTION : ce membre a quitté le laboratoire le 31/10/2015
 
MARCOZZI 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