Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Daniela Petrisan

a dirigé 1 thèse
a été membre de jury pour 5 thèses

Adjoint à droite local Admissibilité Algèbre de Kleene Algèbre de relations Algèbre profinie Assistants de preuve Automates mathématiques, Théorie des Bisimulation Coalgèbre Distributivité Dualité de Stone Dualité, Principe de Espace compact Hausdorff Espaces compacts Expressions régulières Faisceau structurel Foncteur spectraux Foncteur stable Foncteurs, Théorie des Géométrie spectrale Hausdorff, Compactifications de Interpolation uniforme Iris Langages de programmation -- Sémantique Langages de programmation Langages de programmation fonctionnelle Langages formels Logique de programme Logique de séparation concurrente Logique informatique Logique intuitionniste Logique mathématique Modèles bicategoriels de la logique linéaire Monade Monade de codensité Pretopos Preuve assistée par ordinateur Quantificateurs Semi-anneaux Stratégies innocentes Sémantique Sémantique des programmes Sémantique selon la théorie des jeux Théorie des automates Théorie des catégories Théorie des langages Théorie spectrale Théorème de l’application ouverte Topos

Fullscreen

Adjoint à droite local Admissibilité Algèbre de Kleene Algèbre de relations Algèbre profinie Assistants de preuve Automates mathématiques, Théorie des Bisimulation Coalgèbre Distributivité Dualité de Stone Dualité, Principe de Espace compact Hausdorff Espaces compacts Expressions régulières Faisceau structurel Foncteur spectraux Foncteur stable Foncteurs, Théorie des Géométrie spectrale Hausdorff, Compactifications de Interpolation uniforme Iris Langages de programmation -- Sémantique Langages de programmation Langages de programmation fonctionnelle Langages formels Logique de programme Logique de séparation concurrente Logique informatique Logique intuitionniste Logique mathématique Modèles bicategoriels de la logique linéaire Monade Monade de codensité Pretopos

Daniela Petrisan a dirigé la thèse suivante :

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

Thèse soutenue

Accéder en ligne

Daniela Petrisan a été membre de jury des 5 thèses suivantes :

A categorical study of spectral dualities

par Axel Osmond sous la direction de Paul-André Melliès et de Mai Gehrke . - Université Paris Cité

Mathématiques. Logique et fondements de l'informatique

Soutenue le 13-12-2021

Thèse soutenue

Accéder en ligne

Asynchronous and relational soundness theorems for concurrent separation logic

par Léo Stefanesco sous la direction de Paul-André Melliès - Université Paris Cité

Informatique

Soutenue le 12-11-2021

Thèse soutenue

Accéder en ligne

Categorical combinatorics for non-déterministic innocent strategies

par Clément Jacq sous la direction de Paul-André Melliès - Université Paris Cité

Mathématiques. Logique et fondements de l'informatique

Soutenue le 03-12-2019

Thèse soutenue

Accéder en ligne

Quantifiers and duality

par Luca Reggio sous la direction de Mai Gehrke - Sorbonne Paris Cité

Mathématiques. Logique et fondements de l'informatique

Soutenue le 10-09-2018

Thèse soutenue

Accéder en ligne

Algebras of Relations : from algorithms to formal proofs

par Paul Brunet sous la direction de Damien Pous - Lyon

Informatique

Soutenue le 04-10-2016

Thèse soutenue

Accéder en ligne