Portfolio
Expériences
Ingénieur R&D
INRIA, du 01/06/2016 au 31/12/2019
INRIA, du 01/06/2016 au 31/12/2019
J'ai travaillé sur les outils de verification formelles: Why3 et SPARK2014
Développeur
Polyconseil, du 01/03/2020 au 30/11/2022
Polyconseil, du 01/03/2020 au 30/11/2022
Développeur fullstack sur l'application de flexoffice Coviflex.
J'ai travaillé avec React/Node.js/GraphQL/PostgresSQL.
J'ai travaillé avec React/Node.js/GraphQL/PostgresSQL.
Développeur frontend
Publicis Sapient, du 01/12/2022 au 15/01/2024
Publicis Sapient, du 01/12/2022 au 15/01/2024
Développeur frontend sur le site ecommerce Sonepar.
J'ai travaillé avec React/Nextjs/Node.js/graphQL
J'ai travaillé avec React/Nextjs/Node.js/graphQL
Formations
Université d'Orléans
Doctorat en informatique, de 2011 à 2015
Doctorat en informatique, de 2011 à 2015
Vérification formelle
