| Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Anciennes équipes : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
| Anciens thèmes : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- PAROLINI Francesco :
“Analyse statique de propriétés de sécurité des logiciels par interprétation abstraite”,
direction de recherche Antoine MINÉ,
soutenance 26/06/2024. - PONT Mathieu : “Analyse d'Ensembles de Descripteurs Topologiques”,
direction de recherche Julien TIERNY,
soutenance 01/12/2023.
- HOURCADE Hugo : “Enumération de motifs temporels”, direction de recherche Emmanuel CHAILLOUX, soutenance 16/05/2023.
- DELMAS David : “Analyse statique de la portabilité des programmes par interprétation abstraite”,
direction de recherche Antoine MINÉ,
soutenance 28/11/2022.
- NIGRON Pierre : “Programmes avec effets et leurs preuves dans la théorie des types : application à la compilation certifiée et aux traitements de paquets certifiés”, direction de recherche Julia LAWALL, soutenance 17/11/2022.
- CHEN Yi-Ting : “Génération aléatoire d'exécution de systèmes concurrents”,
direction de recherche Jean MAIRESSE,
soutenance 07/01/2022.
- VIDAL Jules : “Progressivité en Analyse Topologique de Données”, direction de recherche Julien TIERNY, soutenance 08/12/2021.
- MONAT Raphaël : “Analyse statique de type et de valeur, par interprétation abstraite, de programmes Python avec des librairies C”,
direction de recherche Antoine MINÉ,
soutenance 22/11/2021.
- PEPIN Martin : “Génération aléatoire uniforme de trajectoires dans les systèmes concurrents”,
direction de recherche Antoine GENITRINI,
soutenance 29/09/2021.
- SALL Boubacar Demba : “Programmation impérative par raffinements avec l'assistant de preuve Coq”, direction de recherche Emmanuel CHAILLOUX, soutenance 01/10/2020.
- ROUX Antoine Dimitri : “Streaming unidirectional auto-correcting codes through ELIPS-SD diods”, direction de recherche Michèle SORIA, Laurent FREREBEAU, Hervé DELPEYRAT, soutenance 02/12/2019.
- JOURNAULT Matthieu : “Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l’inférence de contrats”,
direction de recherche Antoine MINÉ,
soutenance 21/11/2019.
- VAROUMAS Steven : “Modèles de programmation de haut niveau pour microcontrôleurs à faibles ressources”, direction de recherche Tristan CROLARD, soutenance 05/11/2019.
- SOLER Maxime : “Réduction et comparaison de structures d'intérêt dans des jeux de données massifs par analyse topologique”, direction de recherche Julien TIERNY, soutenance 20/06/2019.
- SUZANNE Thibault : “Vérification par interprétation abstraite en mémoire faiblement cohérente”, direction de recherche Antoine MINÉ, soutenance 26/02/2019.
- GUEUNET Charles : “Calcul Haute Performance pour l'Analyse Topologique de Données par Ensembles de Niveaux”, direction de recherche Julien TIERNY, soutenance 15/02/2019.
- BOTBOL Vincent : “Analyse statique de programmes parallèles avec variables numériques”, direction de recherche Emmanuel CHAILLOUX, soutenance 13/09/2018.
- EL SIBAIE Rémy : “Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus mutltimédia riches”, direction de recherche Emmanuel CHAILLOUX, soutenance 12/07/2018.
- DIEN Matthieu : “Processus concurrents et combinatoire des structures croissantes : analyse quantitative et algorithmes de génération aléatoire”, direction de recherche Michèle SORIA, soutenance 22/09/2017.
- DEHARBE Aurélien : “Analyse statique de programmes concurrents et dynamiques”, direction de recherche Michèle SORIA, soutenance 21/09/2016.
- MILLON Etienne : “Analyse de sécurité de logiciels système par typage statique, Application au noyau Linux”, direction de recherche Emmanuel CHAILLOUX, soutenance 10/07/2014.
- BOURGOIN Mathias : “Projet Opengpu - Abstractions performantes pour cartes graphiques”, direction de recherche Emmanuel CHAILLOUX, soutenance 11/12/2013.
- MORCRETTE Basile : “Combinatoire analytique et modèles d'urnes”, direction de recherche Michèle SORIA, soutenance 26/06/2013.
- LUMBROSO Jérémie : “Algorithmes probabilistes pour la fouille quantitative de données et la génération aléatoire”, direction de recherche Michèle SORIA, soutenance 13/12/2012.
- WANG Philippe : “Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle”, direction de recherche Emmanuel CHAILLOUX, soutenance 04/10/2012.
- ROUSSEL Olivier : “Générateur aléatoire de strutures ordonnées par le modèle de Boltzmann”, direction de recherche Michèle SORIA, soutenance 25/09/2012.
- ZHAO Ting : “Résolution de systèmes polynomiaux paramétriques par radicaux et ses applicationsgéométriques”, direction de recherche Dongming WANG, soutenance 03/05/2012.
- WANG Xiaomin : “Approche formelle de la mesure d'internet”,
direction de recherche Michèle SORIA,
soutenance 13/12/2011.
- CANOU Benjamin : “Programmation Web Typée”, direction de recherche Emmanuel CHAILLOUX, soutenance 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”, direction de recherche Jacques MALENFANT, soutenance 30/03/2010.
- DARRASSE Alexis : “Structures arborescentes complexes : analyse combinatoire, génération aléatoire et applications”, direction de recherche Michele SORIA, soutenance 26/01/2010.