Mes compétences :
C
JAVA
SQL
OCAML
PROLOG
HTML
XML/XSL
Javascript
AJAX
CSS
PHP
JSP
Servlet
Perl
Web services
RMI
CORBA
Entreprises
INRIA
- INgenieur / Chercheur
Le Chesnay2012 - maintenantSecure web services using aspect oriented programming
CEA
- Ingénieur / Chercheur
PARIS2008 - 2011chercheur dans le laboratoire de surete des logiciels
conception et developpement des techniques techniques de verification
par analyse statique, slicing et analyse dynamique
Projects:
- Frama-C: Static analysis framework,
- PathCrawler: Concolic test generation tool
- SANTE: software verification using static analysis, program slicing and
dynamic analysis
Formal Methods, abstract interpretation, Concolic test generation, C, OCAML, PROLOG
INPT ENSEEIHT
- Ingénieur de développement
2007 - 2008projet «TUNe», un système à composants adaptable ou autonome pour administrer les systèmes répartis. Réaliser en Java, RMI, XML, Fractal.
SWORD Lebanon
- Programmeur / analyste
2007 - 2007projet « SGS Transitnet ». Réaliser en java, JSP, Struts, Hybernate, XML. Le projet est basé sur la plateforme « Open Way »
Iteam WTC
- Programmeur / analyste
2005 - 2007Développement des logiciels et des sites web
EquipBureau
- Programmeur / analyste
2003 - 2005Développement des logiciels et des sites web, projet réalisé:
- CRM : participation à la conception et à la réalisation d’un système de gestion de clientèles.
- Operations Management System: Conception et réalisation du logiciel qui permet de diriger les opérations d'une société de commerce, réalisé en JSP interagissant avec une base de données Oracle.
- Softel: conception et implantation du module de réservation dans ce système de gestion d’hôtellerie ainsi que la participation à la réalisation d’autres modules.
Formations
Université De Franche Comté (Besancon)
Besancon2008 - 2011PHD
PHD in computer science
Subject: Classification of errors threats by static analysis, program slicing and structural testing of programs
