Mohamed Anis MEKKI

En résumé

Entreprises

• LORIA - Chercheur Associé

  2007 - 2010 2008 – Today
  (3 years)
  Automated techniques to reason about web-services: their dynamic composition under their associated security policies into secure service architectures. Contributed to the AVANTSSAR Validation Platform: an automated toolset for validating trust and security aspects of service-oriented architectures.
  
  Formal Methods and Web-Services Skills: gained a valuable knowledge in Web-Services (and Business Processes) standards and common tools (including composition and synthesis) which we try to analyze and synthesize by reusing the reach formal background existing for Security Protocols.

• Caisse Nationale de Sécurité Sociale - Chef de Service (Planification et Suivi)

  2001 - maintenant */ Administration Communicante :
  
  Intégration de la signature électronique et participation à la conception et au développement du site de Télé-déclaration des salaires & Télé-paiement des cotisations au titre de la sécurité sociale (Opérationnel depuis 2005)
  
  
  */ Refonte du système d’information :
  
  Participation à la conception et au développement du nouveau système d’information de la CNSS.
  
  
  */ Gestion électronique des documents (GED) :
  
  Conception et développement d’applications informatiques pour la gestion des microfilms.
  
  
  */ Encadrement de projets de fin d’études :
  
  - « Génération et vérification d’une signature électronique » - I.S.E.T
  
  - « Télé-déclaration des salaires & Télé-paiement des cotisations – Back Office » - F.S.T
  
  - « Télé-déclaration des salaires & Télé-paiement des cotisations » - F.S.T
  
  - « Forum à thèmes pour la Direction Informatique de la CNSS » - I.S.E.T
  
  - « La Gestion Electronique des Documents à la CNSS » - I.S.D

• Tunisia Trade Network (TTN) - Stagiaire

  2001 - 2001 Projet de fin d’études :
  
  Facturation Electronique des Droits et Taxes Douaniers.

• BATAM - Analyste

  2001 - 2001 Commerce Electronique : Participation à la conception d’un site web marchand.

• Office de l'Aviation Civile & des Aéroports - Analyste Stagiaire

  2000 - 2000 Informatique appliquée à la Gestion Aéroportuaire.

• ISWEB - Stagiaire

  1999 - 1999 Participation à la conception d’un site web à vocation cartographique : http://www.ismap.com

Formations

• Université Henri Poincaré Nancy 1

  Nancy 2007 - 2011 Informatique
  
  Etudiant en Thèse de Doctorat
  
  Informatique - Composition de Service Web en présence de Politiques de Sécurité

• Ecole Supérieure Des Communications De Tunis (L'Ariana)

  L'Ariana 2006 - 2007 Doctorat en Technlogie de l'Information et de la Communication
  
  Unité de recherche : Sécurité Numérique

• ENIT(Ecole Nationale D'Ingénieurs De Tunis) (Tunis)

  Tunis 2002 - 2004 Réseaux Informatiques

• Faculté Des Sciences Mathématiques, Physiques Et Naturelles De Tunis (Tunis)

  Tunis 1999 - 2001 Maîtrise Informatique

• Ecole Nationale Supérieure D'Electrochimie Et D'Electrométallurgie ENSEEG

  St Martin D'Heres 1998 - 1999 Tronc Commun
  
  Ingénieur - Abandon dés 1ère année (Manque d'Affinité avec le programme d'études).

• Lycée Carnot (Dijon)

  Dijon 1995 - 1998 MPSI
  
  SUP2, MP*
  
  Carpe Diem !
  "Au hasard !", J.P. Carpentier.

• Lycée Des Jeunes Filles El Omrane Lycée El Omrane (Tunis)

  Tunis 1992 - 1995 Maths
  
  Elève

Réseau

• Asma ROUISSI

• Fahd CHAOUCH

• Hicham EL MENZHI

• Laurent GIOVANNONI

• Mohamed Nadir FEKI

• Mohamed Salama ZIADI

• Oussema DABBEBI

• Ridha AYACHI

• Watcom WATCOM

• Yosra TRIAA