Poste : ATER, UFR MIM
Institution : Université de Lorraine
Email: prenom.nom [at] univ-lorraine [dot] fr
Docteur en Mathématiques et Informatique (Qualifié Section 27 en 2024), je suis ATER à l'Université de Lorraine au sein de l'UFR MIM (Mathématiques Informatique Mécanique et Automatique) depuis la rentrée universitaire 2023, et suis rattaché au LCOMS (Laboratoire de Conception Optimisation et Modélisation des Systèmes).
Mes activités de recherche se focalisent sur la conception d'algorithmes et leur analyse (garanties de performances) pour l'optimisation et la gestion efficace des ressources dans des systèmes parallèles et distribués (multicœurs à grande échelle, accélérateurs GPU, Cloud, Edge, IoT) ; et j'étudie plus particulièrement des mécanismes d'augmentation (prédiction, resource augmentation, ... ) pour aborder des problèmes d'ordonnancement.
Sujet : Prédiction et augmentation de ressources à la rescousse de l'algorithmique
Mots clés : Algorithmes, Ordonnancement, garanties de performances, Oracle, Augmentation de ressources, dual fitting
Formation autour de l’algorithmique et de la modélisation des problèmes décisionnels, des méthodes de résolution (exacte et approchée) en optimisation combinatoire, des approches déterministes et stochastiques, de l’étude de complexité et de l’approximation garantie des problèmes NP-durs en passant par des techniques avancées issues de la théorie des graphes.
Forme aux principaux domaines de l’informatique : Conception et développement logiciels, Algorithmique-Programmation, Systèmes d’exploitation, Réseaux, Gestion de bases de données, Web.
Propose plusieurs spécialités : Modélisation et Simulation, Développement mobile, Interfaces Homme-Machine, Informatique Décisionnelle et Sécurité des Systèmes
Contrat Doctoral UGA | ATER UGA | ATER UL | |||||||
---|---|---|---|---|---|---|---|---|---|
Thématique | Intitulé du cours | Niveau | Type | Total (en heqtd) | 2019 | 2020 | 2021 | 2022 | 2023 |
Informatique Fondamentale |
Mathématiques Discrètes 1 ⎘ | L2 Informatique | Responsable d'UE CM et TD | 105 | 30h CM 60h TD | Modélisation des structures informatiques⎘ | L1 Mathématiques-Informatique | TD et TP | 42 | 27h TD 15h TP | Automates et Langages ⎘ | L2 Informatique | TD | 27 | 27h TD |
Algorithmique, Recherche Opérationnelle |
Algorithmique et Modélisation ⎘ | L3 Informatique | TD | 88.5 | 16.5h TD | 33h TD | 22.5h TD | 16.5h TD | |
Algorithmique et Programmation | L2 Informatique | TD et TP | 82 | 33h TD 33h TP ⎘ | 24h TP ⎘ | ||||
Algorithmique et Programmation | L1 Informatique | TP | 13.33 | 20h TP | |||||
Fondamental Computer Science ⎘ | M1 Informatique (International) | CM et TD | 7.5 | 3h CM 3h TD | |||||
Recherche Opérationnelle ⎘ | 4ème année Polytech | TD (et CM, TP) | 23.5 | 3h CM 16h TD 3h TP | |||||
Recherche Opérationnelle et Graphes | L3 Miage | TD | 1.5 | 1.5h TD | |||||
Modélisation (par les graphes) | L3 Informatique | TD | 16 | 16h TD | |||||
Architecture des Machines |
Architecture des Ordinateurs | L2 Informatique | TD et TP | 22 | 14h TD 12h TP | ||||
Systèmes informatiques | Système d'Exploitation et Prog. Concurrente ⎘ | 4ème année Ensimag | TD et TP | 16.5 | 12h TD 4.5h TP | ||||
Génie logiciel et programmation |
Compilation | L3 Informatique | TD | 16 | 16h TD | ||||
Programmation et projet logiciel ⎘ | L3 Informatique | Encadrement | 24 | 9 | 15 | ||||
Autres | 6.41 | 2.25 | 0.5 | 3.66 | |||||
Total(en heqtd) | 491.25 | 18.75 | 33 | 55.5 | 192 | 192 |