Domaines de compétence

Mes domaines de prédilection :
- Les Technologies Microsoft : .net, Visual Studio, C#, F#, WinForms, WPF, Silverlight, Windows Phone, XNA
- Le Génie Logiciel : architectures objets, programmation fonctionnelle, UML, Interfaces Homme-Machine
- Les Mathématiques Appliquées : Recherche Opérationnelle, statistiques/probabilités, algorithmique, graphes, cryptologie, Big Data
- Les Méthodes Formelles : analyse de code statique/dynamique, compilation, interprétation, recherche de comportements (malveillants ou non), raisonnement logique et applications à l'Intelligence Artificielle
- La Sécurité de l'Information : réseaux, preuve de protocole, cryptographie

Ces thèmes ont tous fait l'objet de développements logiciels concrets pour Insideware et pour l'INRIA. Je programme également en Java, C, C++, Visual Basic, Php, JavaScript, TypeScript, SQL, Delphi, OCaml, Ada, Lex&Yacc, assembleur x86..

Langues : Français (langue natale), Anglais (courant et Pro), Allemand (notions), Japonais (notions)

Expérience professionnelle

2014 – Aujourd’hui
InsideWare, Co-fondateur, directeur technique, ingénieur R&D

Co-fondateur et directeur technique d'INSIDEWARE, éditeur logiciel spécialisé en Environnements Visuels Intelligents (EVI).

Ma mission :
- Recherche & Développement pour projet d'innovation de rupture
- Expertise technologique et scientifique, développement logiciel
- Vulgarisation scientifique, communication
- Management de projets en partenariat avec l'université.

Tutorat de projets d'Etudes & Réalisation à l'Université de Lorraine pour le compte d'Insideware :
- Application mobile pour la télémédecine (en cours)
- Application de supervision industrielle intelligente (en cours)
- Reconnaissance automatique d’une IHM fenêtrée.

2012 – Aujourd’hui
Enseignant / Formateur à l'ESSTIN (Ecole Supérieure des Sciences et Technologies de l'Ingénieur de Nancy)

Chargé de Travaux Dirigées au Département Informatique
UML, Bases de Données

2010 - 2012
Chercheur en sécurité à l'INRIA (Institut National de Recherche en Informatique et en Automatique)

Chercheur en sécurité au sein du Laboratoire de Haute Sécurité de l’INRIA Nancy. Conception et développement d'un antivirus de nouvelle génération, résistant aux mutations de programmes malveillants (en particulier l'auto-modification).

Quelques technos clés : théorie des langages, méthodes formelles, x86, Intel PIN

2011
Enseignant / Formateur à l'Ecole des Mines de Nancy

Chargé de Travaux Dirigées au Département Informatique
Algorithmie, Java, Bases de Données, Logiciel Embarqué

Etudes

2010 – 2011
Ecole Nationale Supérieure des Mines de Nancy
Doctorat, Informatique, Méthodes Formelles, Virologie
INRIA Nancy Grand Est, Laboratoire de Haute Sécurité (LHS)

2009 – 2010
Université Joseph Fourier
Master 2 Sécurité, Cryptologie et Codage de l'Information, Mathématiques et Informatique

2007 – 2010
ENSIMAG (Ecole Nationale Supérieure d'Informatique et de Mathématiques Appliquées de Grenoble)
Ingénieur Diplômé, Systèmes et logiciels embarqués, Télécommunications, Cryptographie, Sécurité de l'information
+ Bachelor’s Degree in Engineering Sciences

2005 – 2007
Lycée Kléber - Strasbourg
Classes préparatoires aux grandes écoles
MPSI + MP★