Nombre de documents

3

Yassine Hachaïchi


Coordonnées :
Nom : Yassine Ben Souaï Hachaïchi.
Date et lieu de naissance : 26 septembre 1970, à Tunis (Tunisie).
Nationalité : Tunisienne.
Fonctions actuelles : Maître assistant en mathématiques, ENICarthage.
Adresse personnelle : 
81 Avenue Abou Al Walid Ibn Rochd.
2080, Cité Riadh Al Andalous, Ariana. TUNISIE.
 
Adresse professionnelle : 
LAMSIN, Ecole Nationale d’Ingénieurs de Tunis, B.P. 37, 1002 Tunis, Tunisie
 
E-mail : Yassine.Hachaichi@ipeiem.rnu.tn
 
Diplôme :
Doctorat en Mathématiques, spécialité Logique et fondements 
de l’informatique, Université Paris 7 (Denis Diderot), Mention Très 
Honorable. 
  • Mon sujet de thèse était : « Contributions à la théorie des modèles finis et à la complexité descriptive », sous la direction du Professeur Patrick Cegielski. Soutenue le 13 juillet 2001 devant le jury composé de :
  1. Mr Serge Grigorieff, Professeur à l'université Paris 7 (Président du jury)
  2. Mr Georg Gottlob, Professeur à l'université technologique de Vienne (Rapporteur)
  3. Mr Etienne Grandjean, Professeur à l'université de Caen (Rapporteur)
  4. Mr Patrick Cegielski, Professeur à l'université Paris 12 (Directeur de thèse)
  5. Mr Denis Richard, Professeur à l'université de Clermont-Ferrand 1 (Examinateur)
  6. Mr Sedki Boughattas, Maître de conférence à l'université Paris 7 (Examinateur)
  7. Mr Arnaud Durand, Maître de conférence à l'université Paris 12 (Examinateur)
 
Cours enseignés :
  1. 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)
  2. Programmation avancée en Turbo-Pascal. 
    2ème Année DEUG MASS, Paris 12. 
    TD et TP. (1998--2000)
  3. Mathématiques pour l’informatique. 
    2ème Année DEUG MASS, Paris 12. 
    Travaux dirigés. (1998--2000)
  4. Logique et informatique. 
    2ème Année MIAGE, Paris 12. 
    Cours et TD. (1998--2001)
  5. Algorithmique. 
    3ème Année Licence MIAGE, Paris 12. 
    Cours et TD. (1999--2001)
  6. Logique et informatique. 
    2ème Année Licence info ESTI. 
    Cours et TD. (2012--2013)
  7. Mathématiques pour l'ingénieur. 
    1ère Année ingénieurs mécatronique ESTI. 
    Cours et TD. (2012--2013)
  8. Logique pour informaticiens. 
    1ère Année ingénieurs INFO, ENIT et ESPRIT. 
    Cours et TD. (2004--2014)
  9. Graphes et Applications. 
    2ème Année ingénieurs INFO, ESPRIT. 
    Cours et TD. (2004--2010)
  10. Analyse numérique. 
    1ère Année ingénieurs mécatronique ESTI. 
    Cours et TD. (2012--2016)
  11. Algèbre et géométrie (10 ans). 
    1ère Année Classes prépas. 
    Cours et TD. (2001--2012)
  12. Algèbre et géométrie (6 ans). 
    2èmeAnnée Classes prépas. 
    Cours et TD. (2005--2012).
  13. Analyse (1 an). 
    1ère Année Classes prépas. 
    Cours et TD. (2008--2009)
  14. Recherche Opérationnelle. 
    2ème Année Licence GE, ESTI. 
    Cours et TD. (2012--2015)
  15. Recherche Opérationnelle et Optimisation. 
    2ème Année Ingénieurs mécatronique ESTI. 
    Cours et TD. (2013--2016)
  16. Recherche Opérationnelle. 
    1ère Année Master CSSA, ESTI. 
    Cours et TD. (2014--2016)
  17. Introduction à la vérification formelle. 
    1ère Année Master ARTI, ESTI. 
    Cours et TD. (2014--2016)
  18. Statistique et probabilité. 
    1ère Année Ingénieurs mécatronique ESTI. 
    Cours et TD. (2013--2014)
Publications :
  1. «De la structure additive à la saturation des modèles de Peano à une classification des souslangages de l’arithmétique», mémoire de DEA, université Paris 7, mai 1996.
  2. «Les machines relationnelles et les L^k types», manuscrit, Université de Paris 7, mai 1997.
  3. «A Logical Characterization of Context-Free Languages using Härtig Quantifiers and Rescher Quantifiers, and a new Chomsky and Schützenberger Normal Form», manuscrit, Université de Paris 7,  mai 1998.
  4. «Petri Nets, Context-Free Languages and Turing Complexity», manuscrit, octobre 1999.
  5. «Contributions à la théorie des modèles finis et à la complexité descriptive», thèse de doctorat, université Paris 7, soutenue le 13 juillet 2001.
  6. Hachaïchi, Y. (2003). A descriptive complexity approach to the linear hierarchy.Theoretical computer science304(1), 421-429.
  7. « Définissabilité arithmétique et complexité », actes de la conférence (avec rapporteurs)  dédiée au soixantième anniversaire de Denis Richard, Clermont-Ferrand les 16-17 mai 2002.
  8. Hachaı̈chi, Y. (2004). Arithmetical definability and computational complexity.Theoretical computer science322(1), 137-146.
  9. Hachaïchi, Y. (2005). Fragments of monadic second-order logics over word structuresElectronic Notes in Theoretical Computer Science123, 111-123.
  10. «Le réalisme mathématique vu par un profane», in Actes du colloque "Le Réalisme en perspective" juin 2013, des Sciences Humaines et Sociales de Tunis.
  11. Moslah, O., Hachaichi, Y., Lahbib, Y. (2015, September). Democratic multi-robot exploration: New method to compute Particle Swarm Optimizations' global best parameter. In Computer Networks and Information Security (WSCNIS), 2015 World Symposium on (pp. 1-4). IEEE.
  12. Hachaichi, Y. (2016) ,Logic for Unambiguous Context-Free LanguagesIn : International Journal of Computer Science: Theory and Application, 5(1), 12-19.

  13. Rahim Kouki, Fatma Belhaj Amor et Yassine Hachaichi, (2016) "Comparaison entre l'évolution historique ayant mené aux développements limités et leur pratique d'enseignement au début de l'université : Entre syntaxe et sémantique",INDRUM 2016.

  14. Rahim Kouki and Yassine Hachaïchi (2017) Taylor series: From history to teaching, CERME 10, DUBLIN, 1-5 fevrier 2017

  15. Rahim Kouki et Yassine Hachaïchi (2016) Apport d’une étude historique etinstitutionnelle des développements limités au début de l’université : Vers unealternative d’une meilleure conceptualisation, in Premier colloque de l’Association de Didacticiens des Mathématiques Africains17 au 19 aout 2016, ÉCOLE NORMALE SUPÉRIEURE DE YAOUNDE (CAMEROUN). pp 314-323.


Article dans une revue1 document

Pré-publication, Document de travail2 documents

  • Oussama Moslah, Yassine Hachaïchi, Younes Lahbib. Democratic Inspired Particle Swarm Optimization for Multi-Robot Exploration Task. 2016. 〈hal-01327367〉
  • Yassine Hachaïchi, Younes Lahbib. An efficient mathematically correct scale free CORDIC. 2016. 〈hal-01327460〉