Theses in progress
Algorithms, data, and logic
MOSCA Caterina
Directeur(s) : SEILLER Thomas
Date debut : 2024
Logique Linéaire Différentielle et Théorie des Types
KOLEILAT Jad
Directeur(s) : KERJEAN Marie, GUERRINI Stefano
Date debut : 2024
Formal Verification of Blockchain-based Systems
SIDI BRAHIM Mohamed
Directeur(s) : KLAI Kais, OLARTE Carlos
Date debut : 2024
Réalisabilité et interprétation calculatoire de l'axiome du choix.
FURLAN Jacopo
Directeur(s) : MAZZA Damiano, FONTANELLA Laura
Date debut : 2023
Modèles de calcul(s)
LAGHJICHI Yasmine
Directeur(s) : SEILLER Thomas, PETRUCCI Laure
Date debut : 2023
Géométrie de lInteraction Différentielle et Développement de Taylor
CATOZI Stefano
Directeur(s) : GUERRINI Stefano
Date debut : 2023
SYNthesis in PArametric TImed games with Concurrency and data
FIEVET Baptiste
Directeur(s) : PETRUCCI Laure, VAN DE POL Jaco
Date debut : 2022
Leçons de la syntaxe transcendantale: nouveaux réseaux et complexité
RAGOT Adrien
Directeur(s) : GUERRINI Stefano, SEILLER Thomas
Date debut : 2022
A Categorical Approach to Descriptive Complexity Theory
CHANUS Baptiste
Directeur(s) : MAZZA Damiano
Date debut : 2022
Indexer la logique linéaire par des opérateurs différentiels
MIRWASSER Simon
Directeur(s) : KERJEAN Marie, GUERRINI Stefano
Date debut : 2022
The Geometry of Approximations in Programming Languages
DUFOUR Aloÿs
Directeur(s) : MAZZA Damiano
Date debut : 2021
Complexité en moyenne, entropies, et fonctions à sens unique
LÉCHINE Ulysse
Directeur(s) : SEILLER Thomas, GUERRINI Stefano
Date debut : 2021
Quantification et supervision de lopacité : Application au processus dans lIOT
SOUID Nour Elhouda
Directeur(s) : KLAI Kais, BEN AHMED SAMIR
Date debut : 2021
Mathematical foundations of the proofs-as-programs correspondence, and its connections with Singular Learning
TROIANI William
Directeur(s) : SEILLER Thomas, MAZZA Damiano
Date debut : 2020
Theses defended
Modèles opérationnel et catégorique de PCF : l'adressage des machines et distribution en semi-anneaux
MUNNICH Nicolas
Directeur(s) : MANZONETTO Giulio, Breuvart Flavien
Date debut : 2020, Date soutenance : 2024-05-23
A story of lambda-calculus and Approximation
KERINEC Axel
Directeur(s) : MANZONETTO Giulio
Date debut : 2019, Date soutenance : 2023-06-06
Geometry of Interaction and Space Complexity
ENG Boris
Directeur(s) : MAZZA Damiano, SEILLER Thomas
Date debut : 2019, Date soutenance : 2023-06-20
Toward a Correct Blockchain-based Business Processes
GARFATTA Ikram
Directeur(s) : KLAI Kais, GAALOUL Walid
Date debut : 2019, Date soutenance : 2022-12-13
Automates implicites en logique linéaire et théorie catégorique des transducteurs
NGUYEN Le Thanh Dung
Directeur(s) : GUERRINI Stefano, SEILLER Thomas
Date debut : 2018, Date soutenance : 2021-12-03
Analyses formelles de systèmes temps-réel
JERRAY Jawher
Directeur(s) : ANDRE Etienne, FRIBOURG Laurent
Date debut : 2018, Date soutenance : 2021-12-10
Application-based fault tolerance for numerical linear algebra at large scale
TORRES GONZáLES Daniel Alberto
Directeur(s) : PETRUCCI Laure, COTI Camille
Date debut : 2018, Date soutenance : 2021-12-15
Une théorie de lapproximation des programmes basée sur la notion de ressources
BARBAROSSA Davide
Directeur(s) : MANZONETTO Giulio, undefined undefined
Date debut : 2018, Date soutenance : 2021-12-10
On the theory and practice of updatable parametric timed automata
RAMPARISON Mathias
Directeur(s) : ANDRE Etienne, LIME Didier
Date debut : 2016, Date soutenance : 2019-09-05
Parallel verification of concurrent systems using the Symbolic Observation Graph
OUNI Hiba
Directeur(s) : KLAI Kais, ZOUARI Belhassen
Date debut : 2016, Date soutenance : 2019-12-20
"Méthodes statiques pour la programmation fonctionnelle de simulateurs déconomies".
KASZCZYC Antoine
Directeur(s) : FOUQUERÉ Christophe, BOUDES Pierre
Date debut : 2015, Date soutenance : 2019-12-18
Efficient Parametric Verification of Parametric Timed Automata
NGUYEN Hoang Gia
Directeur(s) : PETRUCCI Laure, ANDRE Etienne
Date debut : 2015, Date soutenance : 2018-08-28
Quasi optimal model checking for concurrent systems
NGUYEN Thi Thanh Huyen
Directeur(s) : PETRUCCI Laure, COTI Camille
Date debut : 2015, Date soutenance : 2018-12-21
Types inductifs, fonctionnels et non-linéaires en ludique.
PAVAUX Alice
Directeur(s) : FOUQUERÉ Christophe
Date debut : 2014, Date soutenance : 2017-12-01
Automatic Learning and Extraction of Malicious Behaviors
DAM Khan Huu The
Directeur(s) : TOUILI Tayssir
Date debut : 2014, Date soutenance : 2018-07-03
"On Model-checking Pushdown System Models"
POMMELLET Adrien
Directeur(s) : TOUILI Tayssir
Date debut : 2014, Date soutenance : 2018-07-05
Approches pour la modélisation et vérification des systèmes temporisés en utilisant les diagrammes états-transitions et les réseaux de Petri colorés
BENMOUSSA Mohamed Mahdi
Directeur(s) : CHOPPY Christine, ANDRE Etienne
Date debut : 2013, Date soutenance : 2016-12-06
BIG DATA: Nouvel enjeu de lapprentissage à partir de données massives
REHAB Moufida
Directeur(s) : BOUFARèS Faouzi
Date debut : 2012, Date soutenance : 2016-04-01
Relational Graph Models and Morris's Observability: resource-sensitive semantic investigations on the untyped lambda-calculus
RUOPPOLO Domenico
Directeur(s) : GUERRINI Stefano, MANZONETTO Giulio
Date debut : 2012, Date soutenance : 2016-12-13
Qualité contextuelle des données : Détection et nettoyage guidés par la sémantique des données
BEN SALEM Aicha
Directeur(s) : BOUFARèS Faouzi
Date debut : 2011, Date soutenance : 2015-03-31
Abstraction and Modular Verification of Inter-Enterprise Business Processes
OCHI Hanen
Directeur(s) : KLAI Kais
Date debut : 2011, Date soutenance : 2015-12-11
Reconnaissance de comportements complexes par traitement en ligne de flux d'événements
PIEL Ariane
Directeur(s) : CHOPPY Christine
Date debut : 2011, Date soutenance : 2014-10-27
Sharing, Superposition and Expansion. Geometrical Studies on the Semantics and Implementation of lambda-calculi and Proof-nets
SOLIERI Marco
Directeur(s) : GUERRINI Stefano, PAGANI Michele
Date debut : 2011, Date soutenance : 2016-11-30
Concurrency in Interaction Nets and Graph Rewriting
DORMAN Andrei
Directeur(s) : GUERRINI Stefano, MAZZA Damiano
Date debut : 2010, Date soutenance : 2013-06-20
Rigorous and formal approaches for modelling and designing service systems
TRAN Dung Khanh
Directeur(s) : CHOPPY Christine
Date debut : 2010, Date soutenance : 2013-09-20
Logique linéaire et classes de complexité sous-polynomiales
AUBERT Clément
Directeur(s) : GUERRINI Stefano
Date debut : 2010, Date soutenance : 2013-11-26
The Monitoring Power of Forcing Transformations
BRUNEL Alois
Directeur(s) : GUERRINI Stefano, MAZZA Damiano
Date debut : 2010, Date soutenance : 2014-06-27
Méthodologie de conception des modèles exprimés en réseaux de Petri : Raffinement des réseaux de Petri colorés
SANOGO Alfred
Directeur(s) : PETRUCCI Laure, CHOPPY Christine
Date debut : 2009, Date soutenance : 2012-12-17
Abstraction et analyse de lespace des états des réseaux de Petri temporels
ABER Naim
Directeur(s) : PETRUCCI Laure, KLAI Kais
Date debut : 2009, Date soutenance : 2013-07-12
Specification and Verification of the NEO Storage Distributed Protocol
DEDOVA Anna
Directeur(s) : PETRUCCI Laure, EVANGELISTA Sami
Date debut : 2009, Date soutenance : 2012-07-09
Ontologies, Logics and Interaction
ROMANO Marco
Directeur(s) : FOUQUERE Christophe, ABRUSCI Michele
Date debut : 2009, Date soutenance : 2011-04-26
GNU epsilon : an extensible programming langage
SAIU Luca
Directeur(s) : FOUQUERé Christophe, LODDO Jean-Vincent
Date debut : 2007, Date soutenance : 2012-11-19