Accuracy  Algorithmes  Algorithmes optimaux  Algèbre  Algèbre de processus  Algèbres de processus  Analyse combinatoire  Analyse des protocoles cryptographiques  Apprentissage automatique  Apprentissage machine  Aprentissage automatique  Automates temporisés probabilistes  Automatisation  Bias  Bisimilarité  Bisimulation applicative  Calcul formel  Calcul kappa  Calculs de processus  Causalité  Ccp  Chaînes de Markov  Codage de source  Communication fiable  Complexité de calcul  Computations probabilistes d'ordre supérieur  Concurrence  Concurrency theory  Concurrent constraint programming  Confidentialité différentielle  Contrainte cumulative  Contraintes  Cryptographie  DeepSec  Differential Privacy  Distances entre programmes  Dualité  Dualité, Principe de  Détection de communautés  Détection du signal  Détection et estimation  Epistemic logic  Equivalence Observationelle  Espaces cohérents probabilistes  Estimation des fuites  Estimation, Théorie de l'  Fairness  Fiabilité  Graphes, Théorie des  Géométrie des distances  Incertaine matrice d'adjacence  Indistinguabilité  Information spatiale  Information, Théorie de l'  Informatique -- Mathématiques  Internet mobile  L'équité  Lambda-calcul  Langages de programmation -- Sémantique  Logiciels -- Vérification  Logique mathématique  Logique modale  Logique temporelle  Logique temporelle de Pnueli  Logiques épistémiques  LouvainDP  Machine Learning  Machines moléculaires  Maximum Variance  Mesures de sécurité  ModDivisive  Modal logic  Modalité  Model checking  Modèle symbolique  Modèles de langage naturels  Modélisation algébrique  Mécanismes d'obfuscation  Mécanismes optimaux  Méthodes formelles  Méthodes formelles  Optimisation  Optimisation mathématique  Ordonnancement  Ordonnancement  Ordres stochastiques  Performabilité  Pi-calcul  Polarisation de groupe  Preuves automatiques  Prism  Privacy  Probability  Programmation Concurrent par Contraintes  Programmation par contraintes  Protection de l'information  Protection de la vie privée  Protocole de sécurité  Protocoles cryptographiques  Protocoles de réseaux d'ordinateurs  Protocoles de sécurité  Précision finie  Quantification  Raffinement de partition  Raisonnement sur l'espace  Raisonnement sur les groupes  Raisonnement énergétique  Relations d'équivalence  Réseaux de neurones  Réseaux  Réseaux d'ordinateurs  Réseaux de neurones  Réseaux intelligents  Réseaux neuronaux  Réseaux sociaux  Réseaux sociaux  Réseaux électriques intelligents  Saisie des données  Savoir distribué  Statistics  Symétries  Systèmes communicants mobiles  Systèmes informatiques -- Mesures de sûreté  Sécurité  Sécurité calculatoire  Sémantique  Sémantique étiquetée  Sûreté -- Systèmes  Théorie d'ordre  Théorie de l'information  Théorie de la complexité  Théorie des graphes  Top-M-Filte  Transition systems  Treillis, Théorie des  Utility  Vie privé  Vie privée  Vie privée différentielle  Vérification  Vérification de modèles  Échange intime des liens  Équité  Équivalences observationnelles  équation chimique maître  “Privacy” et “utility”  

Catuscia Palamidessi dirige actuellement les 7 thèses suivantes :

Informatique, données, IA
En préparation depuis le 01-09-2021
Thèse en préparation

Informatique, données, IA
En préparation depuis le 01-12-2020
Thèse en préparation

Informatique, données, IA
En préparation depuis le 01-07-2020
Thèse en préparation

Informatique, données, IA
En préparation depuis le 01-11-2019
Thèse en préparation

Informatique, données, IA
En préparation depuis le 01-10-2019
Thèse en préparation

Informatique, données, IA
En préparation depuis le 01-10-2018
Thèse en préparation


Catuscia Palamidessi a dirigé les 13 thèses suivantes :


Catuscia Palamidessi a été président de jury des 3 thèses suivantes :


Catuscia Palamidessi a été rapporteur des 2 thèses suivantes :

Informatique
Soutenue le 04-11-2016
Thèse soutenue

Catuscia Palamidessi a été membre de jury des 5 thèses suivantes :