Valentin ROBERT

En résumé

Entreprises

• INRIA - Ingénieur expert

  Le Chesnay 2012 - maintenant Conception et développement d'un validateur d'assemblage et d'édition de liens pour architecture PowerPC 32 bits.

• INRIA - Stagiaire

  Le Chesnay 2011 - 2011 Conception, mise en oeuvre et vérification d'une analyse d'alias dans le compilateur vérifié CompCert

• THALES Airborne Systems - Stagiaire

  Courbevoie 2010 - 2010 Etude d'une architecture orientée composant pour les plate-formes avioniques

Formations

• University Of California UCA (San Diego)

  San Diego 2012 - 2012 PhD
  
  Computer Science - Formal verification, programming languages...

• University Of California San Diego (San Diego)

  San Diego 2010 - 2011 Computer Science

• ENSEIRB MATMECA

  Talence 2008 - 2010 Computer Science

Réseau

• Mateo BARAHONA

• Yoann KASSI-VIVIER