<%= inspect(@basics) %> Document

<%= @basics.name %>

<%= @basics.label %>

Lieu
<%= @basics.location.city %>

Expériences professionnelles

    <%= for work <- @work do %>

  1. <%= work.name %>

    Poste
    <%= work.position %>
    Date début
    Date fin
    Paris
    2. <% end %>

  2. Parrot

    Poste
    Ingénieur logiciel embarqué
    Date début
    Date fin
    Paris

    Development and architecture on Parrot's drones software (Bebop Drone, Bebop Drone 2.0, Minidrones)

  3. CEA

    Poste
    Ingénieur chercheur
    Date début
    Date fin
    Saclay

    R&D works on PharOS, a safe embedded RTOS for automotive (now Asterios, promoted by KRONO-SAFE company), and on safe and secure hypervision

    • Industrialization of PharOS

      Micro-kernel porting on PowerPC and ARM embedded targets, and POSIX simulator

      Development of a dual-core version of the micro-kernel for an automotive demonstrator

      Design of a new architecture of the micro-kernel wrt portability on different hardware targets and distribution of task scheduling (centralized or distributed)

      Participation to the CEA / KRONO-SAFE joint laboratory for the technological transfer

    • Prototype of an automated memory protection system for PharOS

      PharOS implements spatial isolation of user tasks / system tasks

      On embedded targets without a MMU, this is achieved via manual configuration of a Memory Protection Unit whose capacity is limited

      This prototype used graph theory techniques to automatize generation of code that would be executed on context switches and ensure the spatial isolation

    • Safe and secure hypervision

      Adaptation to a proprietary security-oriented hypervisor

      CEA project leader on a collaborative project of hardware / software co-design of a secure many-core chip

Compétences

Formation

  1. PLATO Créateurs

    Versailles

  2. Ecole nationale supérieure de l'Electronique et de ses Applications

    Diplôme d'ingénieur, Mécatronique & Electronique Embarquée 2006 - 2009

    Generalist formation in electronics : analog and digital electronics, software, signal processing, control theory, … Last-year specialization in « Mechatronics and Complex Systems », which has a focus on embedded systems, system modeling and mechanics

Langues