现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former teams : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
以前研究课题 : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- PONT Mathieu : “Analysis of Ensembles of Topological Descriptors”, 责任导师 Julien TIERNY, 答辩 2023-12-1.
- HOURCADE Hugo : “Enumération de motifs temporels”, 责任导师 Emmanuel CHAILLOUX, 答辩 2023-5-16.
- DELMAS David : “Static analysis of program portability by abstract interpretation”, 责任导师 Antoine MINÉ, 答辩 2022-11-28.
- NIGRON Pierre : “Effectful programs and their proofs in type theory : application to certified compilation and certified packet processing”, 责任导师 Julia LAWALL, 答辩 2022-11-17.
- CHEN Yi-Ting : “Random generation of executions of concurrent systems”, 责任导师 Jean MAIRESSE, 答辩 2022-1-7.
- VIDAL Jules : “Progressivity in Topological Data Analysis”, 责任导师 Julien TIERNY, 答辩 2021-12-8.
- MONAT Raphaël : “Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries”, 责任导师 Antoine MINÉ, 答辩 2021-11-22.
- PEPIN Martin : “Quantitative and algorithmic analysis of concurrent programs”, 责任导师 Antoine GENITRINI, 答辩 2021-9-29.
- SALL Boubacar Demba : “Programmation impérative par raffinements avec l'assistant de preuve Coq”, 责任导师 Emmanuel CHAILLOUX, 答辩 2020-10-1.
- ROUX Antoine Dimitri : “Streaming unidirectional auto-correcting codes through ELIPS-SD diods”, 责任导师 Michèle SORIA, Laurent FREREBEAU, Hervé DELPEYRAT, 答辩 2019-12-2.
- JOURNAULT Matthieu : “Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference”, 责任导师 Antoine MINÉ, 答辩 2019-11-21.
- VAROUMAS Steven : “High-level programming models for microcontrollers with scarce resources”, 责任导师 Tristan CROLARD, 答辩 2019-11-5.
- SOLER Maxime : “Large Data Reduction and Structure Comparison with Topological Data Analysis”, 责任导师 Julien TIERNY, 答辩 2019-6-20.
- SUZANNE Thibault : “Verification by Abstract Interpretation Under Weakly Consistent Memory”, 责任导师 Antoine MINÉ, 答辩 2019-2-26.
- GUEUNET Charles : “High Performance Level-set based Topological Data Analysis”, 责任导师 Julien TIERNY, 答辩 2019-2-15.
- BOTBOL Vincent : “Static analysis of concurrent programs with numerical variables”, 责任导师 Emmanuel CHAILLOUX, 答辩 2018-9-13.
- EL SIBAIE Rémy : “Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus mutltimédia riches”, 责任导师 Emmanuel CHAILLOUX, 答辩 2018-7-12.
- DIEN Matthieu : “Concurrent process and combinatorics of increasingly labeled structures: quantitative analysis and random generation algorithms.”, 责任导师 Michèle SORIA, 答辩 2017-9-22.
- DEHARBE Aurélien : “Resources analysis for concurrent and dynamic systems”, 责任导师 Michèle SORIA, 答辩 2016-9-21.
- MILLON Etienne : “Security analysis of system code using static typing”, 责任导师 Emmanuel CHAILLOUX, 答辩 2014-7-10.
- BOURGOIN Mathias : “Opengpu Project - Efficient abstractions for graphics cards”, 责任导师 Emmanuel CHAILLOUX, 答辩 2013-12-11.
- MORCRETTE Basile : “Analytic Combinatorics and urn models”, 责任导师 Michèle SORIA, 答辩 2013-6-26.
- LUMBROSO Jérémie : “Probabilistic Algorithms for Data Streaming and Random Generation”, 责任导师 Michèle SORIA, 答辩 2012-12-13.
- WANG Philippe : “Applicative Languages and Abstract Machines for Structural Code Coverage”, 责任导师 Emmanuel CHAILLOUX, 答辩 2012-10-4.
- ROUSSEL Olivier : “Générateur aléatoire de strutures ordonnées par le modèle de Boltzmann”, 责任导师 Michèle SORIA, 答辩 2012-9-25.
- ZHAO Ting : “Dynamic Geometry and geometric Constrain Solving”, 责任导师 Dongming WANG, 答辩 2012-5-3.
- WANG Xiaomin : “Deciding on the type of the degree distribution of a graph (network) from traceroute-like measurements”, 责任导师 Michèle SORIA, 答辩 2011-12-13.
- CANOU Benjamin : “Programmation Web Typée”, 责任导师 Emmanuel CHAILLOUX, 答辩 2011-10-4.
- BELHAOUARI Hakim : “Une approche intégrée pour la conception par contrat : vérification statique/dynamique et génération automatique de test”, 责任导师 Jacques MALENFANT, 答辩 2010-3-30.
- DARRASSE Alexis : “Structures arborescentes complexes : analyse combinatoire, génération aléatoire et applications”, 责任导师 Michele SORIA, 答辩 2010-1-26.