Michaël Armand: professional homepage

Download PDF version

Michaël Armand

PhD Student at INRIA Sophia-Antipolis in team MARELLE
E-mail : michael.armand@sophia.inria.fr
Adress : 5 Rue Cyrille Besset, 06 100 Nice
Born on: 15/08/1987

Schooling

2009 - 2013 :
2006 - 2009 :
2004 - 2006 :
2004 :

Work experience

2009 - 2013
2009 :
2008 :
2007 :

Summer Schools

2012 :

Second International SAT/SMT Summer School 2012, June 12th - June 15th, Trento, Italy
2009 :

VTSA Summer School 2009: Verification Technology, Systems & Applications, October 12th - October 16th, Nancy, France

Skills and expertise

Languages :
Softwares :
OS :

Languages

French (Native)
English (TOEIC 750)