Cours enseignés

Actuels :

• • Analyse numérique. 1ère Année ingénieurs Ecole Polytechnique de Tunisie. Cours, TP et TD. (2022-2024)

  • Statistique et probabilité. 1ère Année Ingénieurs mécatronique, et 1ère Année Ingénieurs Ecole Polytechnique de Tunisie  ENICarthage. Cours, TD et TP (Python). (2022-2024)

  • Recherche Opérationnelle et Optimisation 1 et 2. 2ème Année Ingénieurs Ecole Polytechnique de Tunisie. Cours , TD et projets. (2022--2024)

  • Processus Stochastiques, 2ème Année Ingénieurs Ecole Polytechnique de Tunisie. Cours , et TD. (2022--2024)

  • Machine Learning pour la finance, 3ème Année Ingénieurs Ecole Polytechnique de Tunisie. (EGES) Cours , TD et projets. (2022--2024)

  • Introduction à la vérification formelle. 1ère Année Master ARTI,, ENICarthage. Cours et TD. (2022--2024)

  • Simulation Numérique pour la finance, M2 EcoFiQ, Ecole Polytechnique de Tunisie.

  • M1 Economie et Finance Quantitative (EcoFiQ) à l' Ecole Polytechnique de Tunisie. (Probabilité et Statistique, Data Science and Machine learning, Deep Learning)

Anciens :

• • Programmation avancée en Turbo-Pascal. 2ème Année DEUG MASS, Paris 12. TD et TP. (1998--2000)

  • Initiation à l’algorithmique et à la programmation en Pascal. 1ère Année DEUG MIAS et 1ère Année DEUG MASS, Paris 7. TD et TP. (1996--1998)

  • Mathématiques pour l’informatique. 2ème Année DEUG MASS, Paris 12. Travaux dirigés. (1998--2000)

  • Logique et informatique. 2ème Année MIAGE, Paris 12. Cours et TD. (1998--2001)

  • Algorithmique. 3ème Année Licence MIAGE, Paris 12. Cours et TD. (1999--2001)

  • Algèbre et géométrie (10 ans). 1ère Année Classes prépas. Cours et TD. (2001--2012)

  • Analyse (1 an). 1ère Année Classes prépas. Cours et TD. (2008--2009)

  • Algèbre et géométrie (6 ans). 2èmeAnnée Classes prépas. Cours et TD. (2005--2012).

  • Logique pour informaticiens. 1ère Année ingénieurs INFO, ENIT et ESPRIT. Cours et TD. (2004--2014)

  • Graphes et Applications. 2ème Année ingénieurs INFO, ESPRIT. Cours et TD. (2004--2010)

  • Mathématiques pour l'ingénieur. 1ère Année ingénieurs mécatronique ESTI. Cours et TD. (2012--2013 et 2016--2017)

  • Analyse numérique. 1ère Année ingénieurs mécatronique  ENICarthage. Cours et TD. (2012--2018  et 2020-2021, 2021-2022)

  • Recherche Opérationnelle et Optimisation. 2ème Année Ingénieurs mécatronique ENICarthage. Cours et TD. (2013--2019)

  • Recherche Opérationnelle et Optimisation. 1ère Année Mastère recherche EEA FST. Cours et TD. (2014--2017)

  • Théorie des graphes et optimisation. 2ème Année Ingénieurs en Informatique ENICarthage.  Cours et TD. (2016, 2019)

  • Introduction à la vérification formelle. 1ère Année Master ARTI, et 2ème année Ingénieurs Infotronique, ENICarthage. Cours et TD. (2014--2017 et 2020-2021, 2021-2022)

  • Statistique et probabilité. 1ère Année Ingénieurs mécatronique, et 1ère Année Ingénieurs Ecole Polytechnique de Tunisie  ENICarthage. Cours, TD et TP (Python). (2013--2014 et 2016-2017 et 2018--2019  et 2020-2021 et 2021-2022)

  • Recherche Opérationnelle et Optimisation 1 et 2. 2ème Année Ingénieurs Ecole Polytechnique de Tunisie. Cours , TD et projets. (2017--2019)

  • Analyse de données 2ème année Ingénieurs Infotronique, ENICarthage. Cours, TD et TP (Python) (2020-2021, 2021-2022)

  • Analyse numérique. 1ère Année ingénieurs Ecole Polytechnique de Tunisie. Cours, TP et TD. (2021-2022)

  • Master Economie et Finance Quantitative (EcoFiQ) à l' Ecole Polytechnique de Tunisie. (Probabilité et Statistique, Data Science and Machine learning, Deep Learning)

Projets tuteurés d’initiation à la recherche en vérification formelle des systèmes embarqués (Mastère ARTI, ENICarthage 2014--2017) :

1.  PVS, Réalisé par : Welhazi Brahim et Dridi Souheyb

2. NuMSV, Réalisé par : Mouna MNEJJA, Hichem TOUNSI et Taher BEN CHAIEB

3. PVS, Réalisé par : Khiari Sarah, Aloui Maroua et Attyaoui Safa

4. LTSmin, Réalisé par : CHAABANI Molka

5. UPPAAL, Réalisé par : Helal Fathia et Dkhili Aicha

6. PSL2BA (LTL pour SMV), Réalisé par : Kamaria Sabrine et Maatallah Hamida

7. C bounded Model Checking, Realisé par : Slim Yassine Jlassi, Hssan Ziadi et Khalil Nouri

8. SPIN, Réalisé par : BELHAJ Ilyes, BEN MUSTAPHA Samir et AZZOUZI Najem

9. NUSMV, Réalisé par : Med Hamza Ben Abdeljaouad

10. PSLTOBA, Réalisé par : Hamza KRID et Chaima MEJRI

11. PVS, Réalisé par : Hamza WERTANI et Aymen HLALI

12. SPIN, Réalisé par : Balti Khouloud et Mzoughi Malek

13. UPPAAL, Réalisé par : Tarek CHIHI et Amal OUESLATI

14. Multi-Valued Symbolic LTL Model Checker, réalisé apr : Jmili Issam.

15. Model checking CTL*, réalisé par : Nourhene DHOUIBI & Asma LAKHDHAR

16. Model checking LTL-SPIN, réalisé par : Khorchani Oussama Mansour

17. CTL Model-Checking, réalisé par : Saoudi Mohamed & Mechichi Oumaima

18. Vérification d'un protocole de consensus générique avec PROMELA/SPIN, réalisé par : Wannes Yosra et Swibki Taheni