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 &quot;Le Réalisme en perspective&quot; 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) &quot;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&quot;,

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

Article dans une revue (5)

Enhanced Configurable DCT Cordic Loeffler Architectures for Optimal Power-PSNR Trade-Off Yassine Hachaïchi,Sonia Mami,Imen Ben Saad,Younes Lahbib,Yassine Hachaichi Journal of Signal Processing Systems, 2018, 90 (3), pp.371-393 Article dans une revue hal-01981059v1
High Precision DCT CORDIC Architectures for Maximum PSNR Imen Ben,Yassine Hachaichi,Imen Ben Saad,Sonia Mami,Yassine Hachaïchiet al. International journal of advanced computer science and applications (IJACSA), 2017, 8 (5) Article dans une revue hal-01981053v1
Logic for Unambiguous Context-Free Languages Yassine Hachaïchi International Journal of Computer Science Theory and Application, 2016, 5 (1), pp.12-19 Article dans une revue hal-01298965v2
Fragments of Monadic Second-Order Logics Over Word Structures Yassine Hachaïchi,Yassine Hachaichi Electronic Notes in Theoretical Computer Science, 2005, 123, pp.111-123 Article dans une revue hal-01981086v1
A descriptive complexity approach to the linear hierarchy Yassine Hachaïchi,Yassine Hachaichi Theoretical Computer Science, 2003, 304 (1-3), pp.421-429 Article dans une revue hal-01981070v1

Communication dans un congrès (3)

Polynomial approximation: From history to teaching Rahim Kouki,Yassine Hachaïchi CERME 10, Feb 2017, Dublin, Ireland Communication dans un congrès hal-01940054v1
Apport d’une étude historique et institutionnelle des développements limités au début de l’université : Vers une alternative d’une meilleure conceptualisation Kouki Rahim,Yassine Hachaïchi ADiMA 2, Ecole Normale Supérieure, Aug 2016, Yaoundé, Cameroun. pp.316-325 Communication dans un congrès hal-02471291v1
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 Kouki Rahim,Fatma Belhaj Amor,Yassine Hachaïchi INDRUM 2016, Mar 2016, Montpellier, France. pp.123-132 Communication dans un congrès hal-02471293v1

Pré-publication, Document de travail (2)

Democratic Inspired Particle Swarm Optimization for Multi-Robot Exploration Task Oussama Moslah,Yassine Hachaïchi,Younes Lahbib 2016 Pré-publication, Document de travail hal-01327367v1
An efficient mathematically correct scale free CORDIC Yassine Hachaïchi,Younes Lahbib 2016 Pré-publication, Document de travail hal-01327460v1

Thèse (1)

Contributions à la théorie des modèles finis et à la complexité descriptive Yassine Hachaichi Mathématique discrète [cs.DM]. Université Denis Diderot (Paris 7), 2001. Français. ⟨NNT : ⟩ Thèse tel-01298969v1