Yassine Hachaichi

*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.](https://sites.google.com/site/masteresti/HachaichiRO) 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.](https://sites.google.com/site/masteresti/home/master-cssa) 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. «Contributions à la théorie des modèles finis et à la complexité descriptive», thèse de doctorat, université Paris 7, soutenue le 13 juillet 2001. 3. Hachaïchi, Y. (2003). [A descriptive complexity approach to the linear hierarchy](http://www.sciencedirect.com/science/article/pii/S0304397503001336).*Theoretical computer science*, *304*(1), 421-429. 4. « 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. 5. Hachaı̈chi, Y. (2004). [Arithmetical definability and computational complexity.](http://www.sciencedirect.com/science/article/pii/S0304397504001781)*Theoretical computer science*, *322*(1), 137-146. 6. Hachaïchi, Y. (2005).[ Fragments of monadic second-order logics over word structures](http://www.sciencedirect.com/science/article/pii/S1571066105000496). *Electronic Notes in Theoretical Computer Science*, *123*, 111-123. 7. «[Le réalisme mathématique vu par un profane](http://www.iblatunis.org.tn/pmb/opac_css/index.php?lvl=notice_display&id=121192&seule=1)», in Actes du colloque "Le Réalisme en perspective" juin 2013, des Sciences Humaines et Sociales de Tunis. 8. Moslah, O., Hachaichi, Y., Lahbib, Y. (2015, September). [Democratic multi-robot exploration: New method to compute Particle Swarm Optimizations' global best parameter](http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=7368299&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D7368299). In *Computer Networks and Information Security (WSCNIS), 2015 World Symposium on* (pp. 1-4). IEEE. 9. Hachaichi, Y. (2016) ,[Logic for Unambiguous Context-Free Languages](http://www.orb-academic.org/index.php/journal-of-computer-science/issue/view/32). In : International Journal of Computer Science: Theory and Application, 5(1), 12-19. 10. 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.](http://indrum2016.sciencesconf.org/) 11. Hachaichi, Y. (2016) The mathematically correct scale free CORDIC is more efficient, soumis, 2016

*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.](https://sites.google.com/site/masteresti/HachaichiRO) 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.](https://sites.google.com/site/masteresti/home/master-cssa) 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](http://www.sciencedirect.com/science/article/pii/S0304397503001336).*Theoretical computer science*, *304*(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.](http://www.sciencedirect.com/science/article/pii/S0304397504001781)*Theoretical computer science*, *322*(1), 137-146. 9. Hachaïchi, Y. (2005).[ Fragments of monadic second-order logics over word structures](http://www.sciencedirect.com/science/article/pii/S1571066105000496). *Electronic Notes in Theoretical Computer Science*, *123*, 111-123. 10. «[Le réalisme mathématique vu par un profane](http://www.iblatunis.org.tn/pmb/opac_css/index.php?lvl=notice_display&id=121192&seule=1)», 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](http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=7368299&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D7368299). In *Computer Networks and Information Security (WSCNIS), 2015 World Symposium on* (pp. 1-4). IEEE. 12. Hachaichi, Y. (2016) ,[Logic for Unambiguous Context-Free Languages](http://www.orb-academic.org/index.php/journal-of-computer-science/issue/view/32). In : 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.](http://indrum2016.sciencesconf.org/) 14. Rahim Kouki and Yassine Hachaïchi (2017) [Taylor series: From history to teaching](https://keynote.conference-services.net/resources/444/5118/pdf/CERME10_0622.pdf), 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,](http://colloque.adima.org/) 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.