Algorithmes distribués  Algorithmes parallèles  Algorithmique  Algèbre linéaire  Analyse combinatoire  Analyse d'algorithmes  Appel-par-pousse-valeur  Assistants de preuve  Automates mathématiques, Théorie des  Bicatégories  Bisimulation  Bisimulation applicative  CPM  Calcul des hypersequents  Calcul des séquents  Calcul graphique  Coalgèbre  Cohérence  Coinduction  Combinatoire analytique  Complexité de calcul  Complétude  Complétude, Théorème de  Concurrence  Développement de Taylor  Lambda-calcul  Logique de seuil  Logique linéaire  Logique mathématique  Modalité  Probabilités  Réseaux de preuve  Sémantique dénotationnelle  Théorie de la démonstration  Topologie  Types intersections  

Christine Tasson a rédigé la thèse suivante :

Sémantique et syntaxe vectorielles de la logique linéaire

par Christine Tasson sous la direction de Pierre-Louis Curien - Paris 7

Informatique

Soutenue en 2009

Christine Tasson a dirigé les 3 thèses suivantes :

Bicategorical orthogonality constructions for linear logic

par Zeinab Galal sous la direction de Thomas Ehrhard et de Christine Tasson . - Université Paris Cité

Mathématiques. Logique et fondements de l'informatique

Soutenue le 27-09-2021

Circular representations of infinite proofs for fixed-points logics : expressiveness and complexity

par Rémi Nollet sous la direction de Alexis Saurin et de Christine Tasson . - Université Paris Cité

Informatique. Informatique fondamentale

Soutenue le 29-06-2021

Une géométrie de calcul : Réseaux de preuve, appel-par-pousse-valeur et topologie du consensus

par Jules Chouquet sous la direction de Christine Tasson et de Lionel Vaux . - Université Paris Cité

Mathématiques. Logique et fondements de l'informatique

Soutenue le 06-12-2019

Christine Tasson a été président de jury des 3 thèses suivantes :

Effectful programs and their proofs in type theory : application to certified compilation and certified packet processing

par Pierre Nigron sous la direction de Julia Lawall et de Pierre-Evariste Dagand . - Sorbonne université

Informatique

Soutenue le 17-11-2022

Proof Theory of Riesz Modal Logic

par Christophe Lucas sous la direction de Damien Pous - Lyon, École normale supérieure

Informatique

Soutenue le 16-09-2022

Quantitative and algorithmic analysis of concurrent programs

par Martin Pépin sous la direction de Antoine Genitrini et de Frédéric Peschanski . - Sorbonne université

Informatique

Soutenue le 29-09-2021

Christine Tasson a été rapporteur des 3 thèses suivantes :

Skeletal semantics transformations

par Guillaume Ambal sous la direction de Alan Schmitt - Rennes 1

Informatique

Soutenue le 19-10-2022

On the compositionality of monads via weak distributive laws

par Alexandre Goy sous la direction de Marc Aiguier et de Daniela Petrisan . - université Paris-Saclay

Informatique

Soutenue le 19-10-2021

Sémantique des Jeux Quantique

par Marc De Visme sous la direction de Olivier Laurent et de Glynn Winskel . - Lyon

Informatique

Soutenue le 28-09-2020

Christine Tasson a été membre de jury des 7 thèses suivantes :

Intersection types and ressource calculi in the denotational semantics of lambda-calculus

par Federico Olimpieri sous la direction de Laurent Régnier , Lionel Vaux et de Lorenzo Tortora de Falco . - Aix-Marseille

Mathématiques

Soutenue le 27-11-2020

ZX-Calculi for Quantum Computing and their Completeness

par Renaud Vilmart sous la direction de Emmanuel Jeandel et de Simon Perdrix . - Université de Lorraine

Informatique

Soutenue le 19-09-2019

Behavioural distances for probabilistic higher-order programs

par Raphaëlle Crubillé sous la direction de Thomas Ehrhard et de Ugo Dal Lago . - Sorbonne Paris Cité

Informatique

Soutenue le 20-06-2019

Reflexive spaces of smooth functions : a logical account of linear partial differential equations

par Marie Kerjean sous la direction de Thomas Ehrhard - Sorbonne Paris Cité

Informatique. Informatique fondamentale

Soutenue le 19-10-2018

Concurrency, references and linear logic

par Yann Hamdaoui sous la direction de Claudia Faggian et de Benoit Valiron . - Sorbonne Paris Cité

Informatique. Informatique fondamentale

Soutenue le 25-09-2018

Distributed automata and logic

par Fabian Reiter sous la direction de Olivier Carton - Sorbonne Paris Cité

Informatique

Soutenue le 12-12-2017

Réductions et approximations linéaires

par Luc Pellissier sous la direction de Stefano Guerrini et de Damiano Mazza . - Sorbonne Paris Cité

Informatique

Soutenue le 08-12-2017