Mon parcours

Ingénieur R&D à l’INRIA, je travaille activement sur le développement d’un outil de vérification formelle de modèle.

Auparavant Assistant Ingénieur au CNRS attaché à l’équipe MAP-CRAI – Centre de Recherche en Architecture et Ingénierie – j’ai travaillé sur plusieurs projets en lien avec la diffusion et la valorisation du patrimoine.

Je me suis essayé à de nombreuses technologies et domaines d’application. Mes intérêts sont très divers mais restent principalement tournés vers la recherche scientifique et le partage des connaissances. J’allie aujourd’hui un savoir faire sur la conception de logiciel et des connaissances en sciences de l’informatique tant pratiques que théoriques.

Je m’intéresse à tout ce qui touche de près ou de loin les sciences informatiques avec un intérêt par exemple pour la théorie des langages, la théorie de la complexité, les méthodes formelles, etc. Je me forme aussi personnellement en 3D et en machine learning. J’ai obtenu le diplôme Master MIAGE spécialité SID en 2020.


Ingénieur R&D – INRIA

Développement et amélioration d’un outil et d’un langage de vérification formelle de modèle (automates temporisés paramétrés).

CDD : Depuis 01/2021

Technologies : OCaml, Lex, Yacc, Python


Consultant – Groupe bancaire – Équipe ingénierie

Analyse statique de programmes pour la revue de code au niveau qualité et sécurité dans un contexte d’intégration continue.

  • Intégration et outillage d’une solution d’analyse sécurité au sein d’un S.I
  • Développement d’un parseur C simplifié pour l’analyse statique de liens et références
  • Développement de service Rest en python pour l’intégration d’un outil de traitement du langage naturel
  • Conception et développement d’un service d’analyse de code source (qualité, sécurité, cartographie, code mort, cve, …)

CDI : Depuis 01/2018

Technologies : C#, SQL Server, Elastic Search, Python


Assistant ingénieur et chargé d’étude à l’UMR MAP-CRAI

CNRS – ANR URBANIA – MAP CRAI

Développement d’un module 3D d’une application permettant la reconstruction semi-automatique de plan-reliefs.

Encadrement de deux stagiaires niveau Master : mise en place de tests unitaires pour assurer la qualité logicielle de l’ORM conçu au laboratoire.

Finalisation de l’ORM conçu en interne, tests sur d’autres types de bases de données.

CDD : 16 mois, du 04/2016 au 08/2017

Technologies : Objective-C, Javascript, ThreeJS, MySQL, Neo4J

Site web : urbania – crai, anr – urbania

CNRS – ANR MONUMENTUM – MAP CRAI / GAMSAU

Conception et développement d’une application web permettant l’annotation sémantique d’acquisitions photographiques, le calcul de nuages de points via photogrammétrie et sa visualisation, la propagation de tracés sur un jeu de photos orientées. Celle-ci a pour premier objectif de permettre l’étude de dégradation sur un objet patrimonial. Je fais partie des inventeurs suite au dépôt d’un brevet d’invention avec le SPV (service valorisation).

CDD : 16 mois, du 07/2014 au 07/2015 puis du 01/2016 au 04/2016

Technologies : PHP, Html, CSS, Javascript, MySQL, Web services Restful

Site web : map.cnrs.fr, Monumentum ANR

Article dans le journal du CNRS : voir ici

MAP-CRAI – ENSA

Réalisation d’un ORM léger liant une base de données relationnelle à une application Objective-C. Ce développement intervient dans un contexte de migration des données d’une application de reconstruction automatique de plans-reliefs vers une base de données relationnelle multi-utilisateurs.

CDD : 6 mois, du 07/2015 au 12/2015

Technologies : Objective-C

Site web : crai.archi.fr

CNRS – MAP CRAI

Réalisation d’un prototype d’application de gestion d’objets patrimonial dans le cadre du projet Culture 3DClouds. Déplacement à Xanthi pour un workshop dans le cadre du projet Europeana.

Encadrement d’un stagiaire niveau Licence pour le portage des bases de données vers MySQL et l’implémentation de WebServices.

CDD : 12 mois, du 07/2013 au 07/2014

Technologies : Objective-C, CoreData, PHP, MySQL, Laravel, Eloquent ORM

Site web : crai.archi.fr


Analyste programmeur – B.P

Maintenance des applications web, création de nouveaux modules. Refonte du système de création de rapports PDF et de graphiques.

CDD : 20 mois, du 09/2011 au 05/2013

Technologies : ASP, VB.NET, C#, Entity Framework, Delphi, SQL Server


Analyste programmeur – G.I

Refonte et amélioration d’un progiciel de gestion de déchets pour les collectivités locales et pour la communauté de commune de Nantes. Développement de services Windows permettant l’importation des données collectées sur le terrain dans la base de donnée du progiciel.

CDD : 7 mois, du 10/2010 au 04/2011

Technologies : VB.NET, Visual Studio, SQL Server

Site web : officiel


Analyste développeur web – MGEL – Service communication

Réalisation du site web Izibac.fr. Maintenance interne et externe des sites web de la MGEL. Conception et management des newsletters.

CDD : 12 mois, du 11/2008 au 10/2009

Technologies : PHP, Html, Css, Dreamweaver, MySQL, HeidiSQL

Site web : Izibac.fr, Mgel, Mvs, Mgel logement


Analyste développeur – CERTI – Service Recherche et Développement

Réalisation d’un parseur universel pour les fichiers d’anomalies de la LAD (Lecture Automatique de Document) permettant la consolidation de leurs données.

Stage et CDD : 4 mois, du 04/2008 au 07/2008

Technologies : Java, Visual Basic 6, Eclipse, Oracle

 23,538 total views,  54 views today