Menu

Omar CHEBARO

Le Chesnay

En résumé

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 Chesnay 2012 - maintenant Secure web services using aspect oriented programming
  • CEA - Ingénieur / Chercheur

    PARIS 2008 - 2011 chercheur 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 - 2008 projet «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 - 2007 projet « SGS Transitnet ». Réaliser en java, JSP, Struts, Hybernate, XML. Le projet est basé sur la plateforme « Open Way »
  • Iteam WTC - Programmeur / analyste

    2005 - 2007 Développement des logiciels et des sites web
  • EquipBureau - Programmeur / analyste

    2003 - 2005 Dé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)

    Besancon 2008 - 2011 PHD

    PHD in computer science
    Subject: Classification of errors threats by static analysis, program slicing and structural testing of programs
  • Université Toulouse 3 Paul Sabatier

    Toulouse 2007 - 2008 Master 2 Recherche
  • CNAM

    Aix En Provence 2003 - 2009 Ingénieur
  • Université Libanaise (Saida)

    Saida 2000 - 2003 B.S.

Réseau