Domaines de compétence

Outils de développement : CodeBlocks, Visual Studio, Visual C++, Eclipse, StarUML, QTCreator, QTDesigner, NetBeans

Langages :  C/C++, Java, PHP5, Python, JavaScript, HTML5 , CSS3, JQuery, C#, OCaml, Lisp.

Modélisation :  UML, EMF, Réseaux de Petri

 Systèmes d'exploitation : GNU/Linux(Debian), Windows Seven, Windows eight

 Cloud Computing : indows Azure, Google App Engine

 Langue : Arabe : langue maternelle, Français : bilingue, Anglais : courant, Allemand : débutant

Expérience professionnelle

Juin - Novembre 2015 : Projet de fin d'études CEA-LIST France 

Analyse des chemins d'accès aux variables partagées pour l'anticipation en ligne du placement-routage des tâches.

Mots clés :  Placement, Analyse statique, Transformation de modèle, Réseaux de Petri, Programmation parallèle.

Technologies : CHRONO (plugin de framework FRAMA-C pour la génération de graphes de contrôle à partir d'un code C), OCaml, EMF (Eclipse Modeling Framework), OCL (Object Constraint Language), Python, ATOM3 (outil de transformation de modèle), TINA (Time Petri Net Analyser)

 

Juin - Aout 2013 :  Stage ingénieur OOREDOO : Conception et développement d'une application web pour la mesures TSP

Mots clés :  TSP (Transmit Signal Processor), architecture MVC.

Technologies : JAVA, J2EE framework, MySQL, XML.

Etudes

2013-2015 ; Troisième année à l’Ecole Nationale des Sciences de l'Informatique (ENSI Tunisie) spécialité Ingénierie du Logiciel et Systèmes d’Information

Modules : Ingénierie dirigée par les modèles, Ré-ingénierie Logicielle, Vérification des systèmes complexes, Architecture orientée service, Sécurité des systèmes d'Information, Urbanisation des systèmes d'information, Sécurité informatique, Ontologies de développement, Intelligence artificielle, Data Warehouse, Architectures avancées et programmation parallèle, Systèmes interactifs d'aide à la décision, Bases de données réparties, Informatique Ubiquitaire, Sûreté de fonctionnement et tolérance aux fautes, Cloud Computing...

2012-2013 : Deuxième année à l’Ecole Nationale des Sciences de l'Informatique (ENSI Tunisie) spécialité Ingénierie du Logiciel et Systèmes d’Information

Modules : Architecture logicielle, Génie Logiciel, Programmation fonctionnelle, Vérification formelle, Conception es bases de données, Système de gestion de bases de données(Oracle), Systèmes d’explitation et rogrammation concurrente, Introduction aux systèmes embarqués, Méthodologies de conception es processeurs, Complexité des algorithmes, Recherche opérationnelle, Réseaux locaux, Réseaux nformatiques, Statistiques...

2011-2012 : première année à l’Ecole Nationale des Sciences de l'Informatique (ENSI Tunisie) Tronc commun

Modules : Algorithmes et structures de données, Analyse numérique ,Introduction aux systèmes d’exploitation Unix, Théorie des graphes, Théorie des langages et des automates, programmation orientée objet, lectronique, introduction aux réseaux informatiques, Probabilité

2008-2011 : Institut Préparatoire aux Etudes d'Ingénieurs de Tunis {IPEIT} : Cycle préparatoire aux études d’ingénieurs : Mathématique et Physique

Juin 2008 : Lycée Pilote Bourguiba de Tunis : Baccalauréat mathématiques, mention : Très Bien.