
Yassine Hachaichi
Présentation
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 :
- Mr Serge Grigorieff, Professeur à l'université Paris 7 (Président du jury)
- Mr Georg Gottlob, Professeur à l'université technologique de Vienne (Rapporteur)
- Mr Etienne Grandjean, Professeur à l'université de Caen (Rapporteur)
- Mr Patrick Cegielski, Professeur à l'université Paris 12 (Directeur de thèse)
- Mr Denis Richard, Professeur à l'université de Clermont-Ferrand 1 (Examinateur)
- Mr Sedki Boughattas, Maître de conférence à l'université Paris 7 (Examinateur)
- Mr Arnaud Durand, Maître de conférence à l'université Paris 12 (Examinateur)
Cours enseignés :
-
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)
-
Programmation avancée en Turbo-Pascal. 2ème Année DEUG MASS, Paris 12.
TD et TP. (1998--2000)
-
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)
-
Logique et informatique. 2ème Année Licence info ESTI.
Cours et TD. (2012--2013)
-
Mathématiques pour l'ingénieur. 1ère Année ingénieurs mécatronique ESTI.
Cours et TD. (2012--2013)
-
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)
-
Analyse numérique. 1ère Année ingénieurs mécatronique ESTI.
Cours et TD. (2012--2016)
-
Algèbre et géométrie (10 ans). 1ère Année Classes prépas.
Cours et TD. (2001--2012)
-
Algèbre et géométrie (6 ans). 2èmeAnnée Classes prépas.
Cours et TD. (2005--2012).
-
Analyse (1 an). 1ère Année Classes prépas.
Cours et TD. (2008--2009)
-
Recherche Opérationnelle. 2ème Année Licence GE, ESTI.
Cours et TD. (2012--2015)
-
Recherche Opérationnelle et Optimisation. 2ème Année Ingénieurs mécatronique ESTI.
Cours et TD. (2013--2016)
-
Recherche Opérationnelle. 1ère Année Master CSSA, ESTI.
Cours et TD. (2014--2016)
-
Introduction à la vérification formelle. 1ère Année Master ARTI, ESTI.
Cours et TD. (2014--2016)
-
Statistique et probabilité. 1ère Année Ingénieurs mécatronique ESTI.
Cours et TD. (2013--2014)
Publications :
- «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.
- «Les machines relationnelles et les L^k types», manuscrit, Université de Paris 7, mai 1997.
- «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.
- «Petri Nets, Context-Free Languages and Turing Complexity», manuscrit, octobre 1999.
- «Contributions à la théorie des modèles finis et à la complexité descriptive», thèse de doctorat, université Paris 7, soutenue le 13 juillet 2001.
- Hachaïchi, Y. (2003). A descriptive complexity approach to the linear hierarchy.Theoretical computer science, 304(1), 421-429.
- « 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.
- Hachaı̈chi, Y. (2004). Arithmetical definability and computational complexity.Theoretical computer science, 322(1), 137-146.
- Hachaïchi, Y. (2005). Fragments of monadic second-order logics over word structures. Electronic Notes in Theoretical Computer Science, 123, 111-123.
- «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.
- 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.
- Hachaichi, Y. (2016) ,Logic for Unambiguous Context-Free Languages. In : International Journal of Computer Science: Theory and Application, 5(1), 12-19.
- 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.
- Rahim Kouki and Yassine Hachaïchi (2017) Taylor series: From history to teaching, CERME 10, DUBLIN, 1-5 fevrier 2017
- 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.
Publications
Publications
Enhanced Configurable DCT Cordic Loeffler Architectures for Optimal Power-PSNR Trade-OffJournal of Signal Processing Systems, 2018, 90 (3), pp.371-393
Article dans une revue
hal-01981059
v1
|
|
High Precision DCT CORDIC Architectures for Maximum PSNRInternational journal of advanced computer science and applications (IJACSA), 2017, 8 (5)
Article dans une revue
hal-01981053
v1
|
|
|
Logic for Unambiguous Context-Free LanguagesInternational Journal of Computer Science Theory and Application, 2016, 5 (1), pp.12-19
Article dans une revue
hal-01298965
v2
|
Fragments of Monadic Second-Order Logics Over Word StructuresElectronic Notes in Theoretical Computer Science, 2005, 123, pp.111-123
Article dans une revue
hal-01981086
v1
|
|
A descriptive complexity approach to the linear hierarchyTheoretical Computer Science, 2003, 304 (1-3), pp.421-429
Article dans une revue
hal-01981070
v1
|
|
Polynomial approximation: From history to teachingCERME 10, Feb 2017, Dublin, Ireland
Communication dans un congrès
hal-01940054
v1
|
|
Apport d’une étude historique et institutionnelle des développements limités au début de l’université : Vers une alternative d’une meilleure conceptualisationADiMA 2, Ecole Normale Supérieure, Aug 2016, Yaoundé, Cameroun. pp.316-325
Communication dans un congrès
hal-02471291
v1
|
|
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émantiqueINDRUM 2016, Mar 2016, Montpellier, France. pp.123-132
Communication dans un congrès
hal-02471293
v1
|
|
Democratic Inspired Particle Swarm Optimization for Multi-Robot Exploration Task2016
Pré-publication, Document de travail
hal-01327367
v1
|
|
An efficient mathematically correct scale free CORDIC2016
Pré-publication, Document de travail
hal-01327460
v1
|
|
Contributions à la théorie des modèles finis et à la complexité descriptiveMathématique discrète [cs.DM]. Université Denis Diderot (Paris 7), 2001. Français. ⟨NNT : ⟩
Thèse
tel-01298969
v1
|