Domaines de compétence

Langages Java (Swing JDBC), OCamel, Lisp, Coq, PHP, HTML, Javascript, JSP, C, J2ME, Prolog, SQL
S.E Linux, Unix , Windows
Outils SQL Devlopper, Power AMC, Protégé, CVS, SVN, ClearCase
Méthodologies UML, Merise
Data wareHouse Knime, Matlab, Talend, ETL
Plates-formes dedéveloppement J2EE, JEE, Struts, EJB, Hibenate,Swing, JBOSS, Tomcat, Weblogic, glassfish, Eclipse, Netbeans, RAD6

Expérience professionnelle

Thèse CIFRE RATP/LACL (Université paris 12). Mars-Novembre 2011
Entreprise : Régie autonome des transports parisiens RATP
Laboratoire : Laboratoire d'algorithmique complexité et logique (LACL) Université Paris-Est
Sujet : Vérification formelle des postes de manoeuvre informatisés
Domaine : Méthodes formelles, model checking

 

Analyste programmeur chez GFI Juin-Octobre 2008 (Paris)
Projet : SIMULCA : devis assurance habitation pour le Crédit Agricole
Mission : Développements, tests (unitaires et d’intégration), recette informatique
Environnement : AMT (Framework propriétaire du crédit agricole), Java, J2EE, RAD6, Junit, Clear Case

Stages

Stage de Master 2 recherche au LIPN Avril-Septembre 2010 (Villetaneuse)
Laboratoire : Laboratoire d’Informatique de Paris-Nord (UMR 7030 du CNRS), Université Paris 13
Sujet : Comparaison approfondie de deux analyses de complexité
Encadrant : Jean-Yves MOYEN
Domaine : Complexité implicite, logique, Interaction

Stage de Licence professionnelle chez Atos Origin Avril-Juin 2008 (Défense)
Projet : OPALES (Outils de Pilotage et d'Administration de l'Éducation Spéciale)
Mission : Développements, tests
Environnement : Java, J2EE, Tomcat, Weblogic, Struts, SVN

Projets d’études

2009/10 Master 2 Jeu Spider OCaml | Site de billetterie. JAVA (client/serveur, servlet, jndi, ssh, BDD)
2008/09 Master 1 Robot Wikipedia reconnaissance violation de copyright. PHP 5, MySQL
2007/08 Licence Downloading & broadcasting de vidéo sur mobile Nokia. J2ME, PHP, MySQL

Etudes

2008/2010 Master PLS (Programmation Logiciels Sûrs) Université Paris 13.
2007/2008 Licence pro SIL (Systèmes Informatiques et Logiciels) IUT Paris13.

2008/2009 TOFEL Anglais 860 courant