Valentin Robert

Valentin Robert

Graduate Student, University of California, San Diego
 

En formation chez University Of California

Précédents : University Of California San Diego, ENSEIRB MATMECA

 

En poste chez INRIA

Précédents : INRIA, THALES Airborne Systems

Parcours

University Of California, San Diego

PhD, University of California

De septembre 2012 à aujourd'hui
Computer Science - Formal verification, programming languages...
 

Ingénieur expert

Chez INRIA

De janvier 2012 à aujourd'hui
Conception et développement d'un validateur d'assemblage et d'édition de liens pour architecture PowerPC 32 bits.
 

Stagiaire

Chez INRIA

De juillet 2011 à décembre 2011
Conception, mise en oeuvre et vérification d'une analyse d'alias dans le compilateur vérifié CompCert
 

ENSEIRB MATMECA, Talence

Computer Science, ENSEIRB MATMECA

De septembre 2008 à mai 2010
 

Compétences

 
  • Haskell
  • OCaml