Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > MARCOZZI Michaël
About LRI
Mr MARCOZZI Michaël

Warning: this member left the laboratory on 31/10/2015
 
MARCOZZI Post-doctorant
INRIA
Verification of Algorithms, Languages and Systems

Tel : +33 7 52 67 04 73
Fax :
Office : 65/PCRI-S

Personal web page : https://sites.google.com/site/michaeelmarcozzi/
Email : michael.marcozzi@lri.fr

Research activities
   - Automated Proof, SMT and Applications
   - Data-Centric Languages and Systems


Joint Inria project teams
   - Toccata