Menu

Valentin ROBERT

Le Chesnay

En résumé

Mes compétences :
Haskell
OCaml

Le résumé de ce profil est encore très bref.

Vous pouvez aider Valentin à mieux valoriser son parcours en lui suggérant d'ajouter quelques détails supplémentaires.



Vous pouvez lui suggérer d'en écrire plus en lui envoyant un message. Pour cela ajoutez d'abord Valentin à vos contacts.

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

Annuaire des membres :