Pierre Lermusiaux (VeriDis) soutiendra sa thèse intitulée "Analyse statique de transformations pour l'élimination de motifs", effectuée sous la direction de Pierre-Étienne Moreau et Horatiu Cirstea. La soutenance aura lieu le jeudi 8 septembre à 9h30 en salle A008 au Loria. Résumé : La transformation de programmes est une pratique très courante dans le domaine des sciences informatiques. De […]
Laure Crochepierre soutiendra sa thèse intitulée "Apprentissage automatique interactif pour les opérateurs du réseau électrique", réalisée sous la direction de Lydia Boudjeloud-Assala et la supervision de Vincent Barbesant (RTE), le mardi 27 septembre 2022 à 10h00 à Centrale Supelec Metz. Résumé : Dans le contexte de la transition énergétique et de l'augmentation des interconnexions entre les […]
Nicolas Lasolle (K Team) will defend his thesis on Friday, 7th October at 10 am at Loria. His thesis is entitled "Un système d'interrogation flexible pour le Web sémantique : application à la correspondance d'Henri Poincaré". Résumé De nombreux travaux historiques portent sur la vie et l’œuvre scientifique d’Henri Poincaré (1854-1912), notamment au travers de […]
Hans-Jörg Schurr (Veridis Team) will defend his thesis on Friday, 7th October at 3pm at Loria. His thesis is entitled "Stronger SMT Solvers for Proof Assistants: Proofs, Quantifier Simplification, Strategy Schedules". Abstract: This thesis presents three contributions that have the same underlying motivation: to improve the utility of SMT solvers as backends for proof assistants. […]
Abir Laraba will defend her thesis on Tuesday, 11th October at 2 pm in room A008. Her thesis is entitled "Protocol Abuse Mitigation In SDN Programmable Data Planes". Abstract: The emergence of the Software-Defined Networking paradigm has supported the development of new network monitoring scheme thanks to network programmability. The first purpose of SDN is […]
