Forschungsgruppen zur Zeit : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ehemalige Forschungsgruppen : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
Ehemalige Themen : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- PONT Mathieu : “Analysis of Ensembles of Topological Descriptors”, forschungsleitung (direction de recherche) Julien TIERNY, verteidigung einer doktorarbeit 01.12.2023.
- HOURCADE Hugo : “Enumération de motifs temporels”, forschungsleitung (direction de recherche) Emmanuel CHAILLOUX, verteidigung einer doktorarbeit 16.05.2023.
- DELMAS David : “Static analysis of program portability by abstract interpretation”, forschungsleitung (direction de recherche) Antoine MINÉ, verteidigung einer doktorarbeit 28.11.2022.
- NIGRON Pierre : “Effectful programs and their proofs in type theory : application to certified compilation and certified packet processing”, forschungsleitung (direction de recherche) Julia LAWALL, verteidigung einer doktorarbeit 17.11.2022.
- CHEN Yi-Ting : “Random generation of executions of concurrent systems”, forschungsleitung (direction de recherche) Jean MAIRESSE, verteidigung einer doktorarbeit 07.01.2022.
- VIDAL Jules : “Progressivity in Topological Data Analysis”, forschungsleitung (direction de recherche) Julien TIERNY, verteidigung einer doktorarbeit 08.12.2021.
- MONAT Raphaël : “Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries”, forschungsleitung (direction de recherche) Antoine MINÉ, verteidigung einer doktorarbeit 22.11.2021.
- PEPIN Martin : “Quantitative and algorithmic analysis of concurrent programs”, forschungsleitung (direction de recherche) Antoine GENITRINI, verteidigung einer doktorarbeit 29.09.2021.
- SALL Boubacar Demba : “Programmation impérative par raffinements avec l'assistant de preuve Coq”, forschungsleitung (direction de recherche) Emmanuel CHAILLOUX, verteidigung einer doktorarbeit 01.10.2020.
- ROUX Antoine Dimitri : “Streaming unidirectional auto-correcting codes through ELIPS-SD diods”, forschungsleitung (direction de recherche) Michèle SORIA, Laurent FREREBEAU, Hervé DELPEYRAT, verteidigung einer doktorarbeit 02.12.2019.
- JOURNAULT Matthieu : “Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference”, forschungsleitung (direction de recherche) Antoine MINÉ, verteidigung einer doktorarbeit 21.11.2019.
- VAROUMAS Steven : “High-level programming models for microcontrollers with scarce resources”, forschungsleitung (direction de recherche) Tristan CROLARD, verteidigung einer doktorarbeit 05.11.2019.
- SOLER Maxime : “Large Data Reduction and Structure Comparison with Topological Data Analysis”, forschungsleitung (direction de recherche) Julien TIERNY, verteidigung einer doktorarbeit 20.06.2019.
- SUZANNE Thibault : “Verification by Abstract Interpretation Under Weakly Consistent Memory”, forschungsleitung (direction de recherche) Antoine MINÉ, verteidigung einer doktorarbeit 26.02.2019.
- GUEUNET Charles : “High Performance Level-set based Topological Data Analysis”, forschungsleitung (direction de recherche) Julien TIERNY, verteidigung einer doktorarbeit 15.02.2019.
- BOTBOL Vincent : “Static analysis of concurrent programs with numerical variables”, forschungsleitung (direction de recherche) Emmanuel CHAILLOUX, verteidigung einer doktorarbeit 13.09.2018.
- EL SIBAIE Rémy : “Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus mutltimédia riches”, forschungsleitung (direction de recherche) Emmanuel CHAILLOUX, verteidigung einer doktorarbeit 12.07.2018.
- DIEN Matthieu : “Concurrent process and combinatorics of increasingly labeled structures: quantitative analysis and random generation algorithms.”, forschungsleitung (direction de recherche) Michèle SORIA, verteidigung einer doktorarbeit 22.09.2017.
- DEHARBE Aurélien : “Resources analysis for concurrent and dynamic systems”, forschungsleitung (direction de recherche) Michèle SORIA, verteidigung einer doktorarbeit 21.09.2016.
- MILLON Etienne : “Security analysis of system code using static typing”, forschungsleitung (direction de recherche) Emmanuel CHAILLOUX, verteidigung einer doktorarbeit 10.07.2014.
- BOURGOIN Mathias : “Opengpu Project - Efficient abstractions for graphics cards”, forschungsleitung (direction de recherche) Emmanuel CHAILLOUX, verteidigung einer doktorarbeit 11.12.2013.
- MORCRETTE Basile : “Analytic Combinatorics and urn models”, forschungsleitung (direction de recherche) Michèle SORIA, verteidigung einer doktorarbeit 26.06.2013.
- LUMBROSO Jérémie : “Probabilistic Algorithms for Data Streaming and Random Generation”, forschungsleitung (direction de recherche) Michèle SORIA, verteidigung einer doktorarbeit 13.12.2012.
- WANG Philippe : “Applicative Languages and Abstract Machines for Structural Code Coverage”, forschungsleitung (direction de recherche) Emmanuel CHAILLOUX, verteidigung einer doktorarbeit 04.10.2012.
- ROUSSEL Olivier : “Générateur aléatoire de strutures ordonnées par le modèle de Boltzmann”, forschungsleitung (direction de recherche) Michèle SORIA, verteidigung einer doktorarbeit 25.09.2012.
- ZHAO Ting : “Dynamic Geometry and geometric Constrain Solving”, forschungsleitung (direction de recherche) Dongming WANG, verteidigung einer doktorarbeit 03.05.2012.
- WANG Xiaomin : “Deciding on the type of the degree distribution of a graph (network) from traceroute-like measurements”, forschungsleitung (direction de recherche) Michèle SORIA, verteidigung einer doktorarbeit 13.12.2011.
- CANOU Benjamin : “Programmation Web Typée”, forschungsleitung (direction de recherche) Emmanuel CHAILLOUX, verteidigung einer doktorarbeit 04.10.2011.
- BELHAOUARI Hakim : “Une approche intégrée pour la conception par contrat : vérification statique/dynamique et génération automatique de test”, forschungsleitung (direction de recherche) Jacques MALENFANT, verteidigung einer doktorarbeit 30.03.2010.
- DARRASSE Alexis : “Structures arborescentes complexes : analyse combinatoire, génération aléatoire et applications”, forschungsleitung (direction de recherche) Michele SORIA, verteidigung einer doktorarbeit 26.01.2010.