Valentin Robert

Research Engineer at Galois, Inc.
  • Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Location
Portland, Oregon, United States, US
Languages
  • French Native or bilingual proficiency
  • English Full professional proficiency
  • Spanish Limited working proficiency
Skills

Topline Score

Bio

Generated by
Topline AI

0

/5.0
/ Based on 0 ratings
  • (0)
  • (0)
  • (0)
  • (0)
  • (0)

Filter reviews by:

No reviews to display There are currently no reviews available.

0

/5.0
/ Based on 0 ratings
  • (0)
  • (0)
  • (0)
  • (0)
  • (0)

Filter reviews by:

No reviews to display There are currently no reviews available.
You need to have a working account to view this content. Click here to join now

Experience

  • Galois, Inc.
    • United States
    • Software Development
    • 1 - 100 Employee
    • Research Engineer
      • Jan 2019 - Present
  • UC San Diego
    • United States
    • Higher Education
    • 700 & Above Employee
    • Graduate student
      • Sep 2012 - Present
  • Microsoft Research
    • Think Tanks
    • Research Intern
      • Jun 2013 - Sep 2013

      Worked on a formalization of the x86 assembly language, adding a notion of modular implementation and specification Worked on a formalization of the x86 assembly language, adding a notion of modular implementation and specification

  • INRIA
    • France
    • Research Services
    • 700 & Above Employee
    • Research engineer
      • Jan 2012 - Aug 2012

      Design and implementation of a validator for a C language assembler and linker (PowerPC 32 bit target).

    • Intern
      • Jul 2011 - Dec 2011

      Design, implementation and verification of an alias analysis in the verified compiler CompCert.

  • Thales
    • United States
    • Financial Services
    • 1 - 100 Employee
    • Intern
      • Jun 2010 - Aug 2010

      Study of a component-oriented architecture for Integrated Modular Avionics. Study of a component-oriented architecture for Integrated Modular Avionics.

Education

  • UC San Diego
    Non-Degree, Computer Science
    2010 - 2011
  • ENSEIRB-MATMECA
    Engineering Diploma, Computer Science
    2008 - 2011

Community

You need to have a working account to view this content. Click here to join now