SINGER Daniel
Photo
Axe thématique
Adresse mail
daniel.singer@univ-lorraine.fr
Corps
Maître de conférences émérite
CV
CV_Singer_2022.pdf121.93 Ko
Mot-clés
Logique Floue
Apprentissage
Algorithmique parallèle et distribuée
Problèmes de satisfaction de contraintes à domaines finis
Satisfiabilité propositionnelle
FPGA
Métaheuristiques
La recherche
Depuis 1980 (année de mon DEA de Mathématiques à l'Universisté de Lyon I) mon activité de recherche peut être résumée sur les axes principaux suivants dans un ordre plus ou moins chronologique :
- Logique Floue : modélisations mathématiques minimales pour la définition d'une "Théorie des ensembles flous".
- Théorie de l'Apprentissage : une modélisation de type Logique des mécanismes d'apprentissage en IA.
- Résolution Parallèle de problèmes NP-complets (SAT et CSP) : une méthode de résolution des CSP non binaires à domaines finis, méthodes de décomposition et résolution des CSP et SAT dans les différentes architectures parallèles possibles.
- Implémentations FPGA d'algorithmes métaheuristiques.
L'enseignement
J'ai enseigné durant ma carrière les cours ci-dessous :
- Mathématiques Discrètes
- Recherche Opérationnelle
- Logique
- Méthodes Booléennes
- Algorithmique
- Langage C
- Sémantique des programmes
- Informatique Théorique
- Intelligence Artificielle
Les responsabilités administratives
- Responsable pédagogique et président du jury de la Licence Informatique (Université de Metz) de 1986 à 1993.
- Responsable pédagogique de l'Informatique en 2ème année du Deug Mias (Maths-Info) (Université de Metz) de 1993 à 1998.
- Responsable pédagogique, président du jury de la Licence Informatique (Université de Lorraine) de 2012 à 2017.
- Représentant élu de l'Informatique au Conseil de l'UFR MIM (Mathématiques Informatique et Mécanique) de 1993 à 2005.
- Représentant élu et vice-président (1998 - 2004) de la Commission de Spécialistes 27ème section.
Publications représentatives
Titre
A comparison of two metaheuristic algorithms for scheduling problem on a heterogeneous CPU/FPGA architecture with communication delays
Auteur(s)
F. Abdallah, C. Tanougast, I.Kacem, C. Diou et D. Singer
Titre
Hardware implementation of UWB-IR transceiver and receiver based on Wavelet Packet Transform for networked bio-sensors
Auteur(s)
C. Kizil, C.Diou, C. Tanougast et D. Singer
Titre
Genetic algorithms for scheduling in a CPU/FPGA architecture with heterogeneous communication delays
Auteur(s)
F. Abdallah, C. Tanougast, I. Kacem, C. Diou et D. Singer
Titre
A Forward-Checking algorithm based on a Generalised Hypertree Decomposition for solving non-binary constraint satisfaction problems
Auteur(s)
Z. Habbas, K. Amroun et D. Singer
Titre
Generalized Hypertree Decomposition for solving non binary CSP with compressed table constraints
Auteur(s)
Z. Habbas, K. Amroun et D. Singer
Titre
Decomposition Tehniques for Solving Frequency Assigment Problems (FAP)- a Top-Down approach
Auteur(s)
L. Sadeg-Belkacem, Z. Habbas, F. Benbouzid-Sitayeb et D. Singer
Titre
A cluster-oriented Forward Checking Algorithm based on Generalized Hypertree Decomposition
Auteur(s)
Z. Habbas, K. Amroun et D. Singer