Upcoming thesis defences

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 de soutenance : 2024-05-23 00:00:00

Theses in progress

Réalisabilité et interprétation calculatoire de l'axiome du choix.
FURLAN Jacopo
Directeur(s) : MAZZA Damiano, FONTANELLA Laura
Date debut : 2023

Vérification des programmes récursifs parallèles
LIN Shijie
Directeur(s) : TOUILI Tayssir
Date debut : 2023

Modèles de calcul(s)
LAGHJICHI Yasmine
Directeur(s) : SEILLER Thomas, PETRUCCI Laure
Date debut : 2023

Géométrie de l’Interaction 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 l’opacité : Application au processus dans l’IOT
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

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 l’approximation 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 l’apprentissage à 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 l’espace 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