Patrick Bellot dirige actuellement la thèse suivante :
Un protocole sécurisé pour l'Internet des objets basés sur OPC-UA
par Zepeng Liu sous la direction de Patrick Bellot - Institut polytechnique de Paris
Information, communications, électronique
En préparation depuis le 01-02-2018
Patrick Bellot a dirigé les 18 thèses suivantes :
Sécurisation de l'Internet des objets
par Mohamed Tahar Hammi sous la direction de Patrick Bellot et de Ahmed Serhrouchni . - Université Paris-Saclay (ComUE)
Réseaux et sécurité informatique
Soutenue le 17-09-2018
Analyse de dynamiques temporelles, spatiales et fluctuantes des activités de contrôleurs aériens
par Yanjun Wang sous la direction de Patrick Bellot et de Vu Duong . - Paris, ENST
Informatique et réseaux
Soutenue le 21-06-2012
ROSA, un réseau de recouvrement adaptable, extensible et auto-organisant
par Loïc Baud sous la direction de Patrick Bellot et de Michel Riguidel . - Paris, Télécom ParisTech
Informatique et réseaux
Soutenue en 2010
Autour des réseaux quantiques et des modèles de relais pour la clé quantique
par Quoc Cuong Le sous la direction de Patrick Bellot - Paris, ENST
Informatique et réseaux
Soutenue en 2009
Autour des primitifs quantiques pour le calcul sécurisé à deux parties
par Minh Dung Dang sous la direction de Patrick Bellot et de Hong Quang Nguyen . - Paris, ENST
Informatique et réseaux
Soutenue en 2008
Composants logiciels et algorithmes de minimisation exacte d'énergies dédiées au traitement des images
par Jérôme Darbon sous la direction de Patrick Bellot et de Thierry Géraud . - Paris, ENST
Informatique et réseaux
Soutenue en 2005
Demonstration automatique pour une logique des actions
par Emmanuel Zarpas sous la direction de Patrick Bellot - Paris 6
Sciences appliquées
Soutenue en 1997
Proposition pour un formalisme logique d'expression et de verification de proprietes temporelles sur des evenements repetitifs destine a l'analyse de traces d'execution
par Jean-Marc Le Campion sous la direction de Patrick Bellot - Paris 6
Sciences appliquées
Soutenue en 1996
Parallelisation d'un langage fonctionnel selon le modele a flots de donnees
par Nathalie Dussert sous la direction de Patrick Bellot - Paris, ENST
Sciences appliquées
Soutenue en 1996
Parallelisation d'un langage fonctionnel sur une machine parallele avec une architecture non conventionnelle
par AGUSTIN RAYMUNDO ORTEGA-AGUILAR sous la direction de Patrick Bellot - Paris 6
Sciences appliquées
Soutenue en 1995
Une rationalisation semantique de la programmation logico-fonctionnelle. Application a la traduction de programmes logiques
par Christophe Matiachoff sous la direction de Patrick Bellot - Paris 6
Sciences appliquées
Soutenue en 1994
Les contraintes en programmation logico-fonctionnelle : application au langage miles
par OLIVIER CAMP sous la direction de Patrick Bellot - Paris 6
Sciences appliquées
Soutenue en 1994
Une architecture a flots de donnees pour la programmation fonctionnelle et son compilateur
par BING WEN CHE sous la direction de Patrick Bellot - Paris 6
Sciences appliquées
Soutenue en 1992
Miles : fonction et logique. un langage nouveau pour une algorithmique etendue
par ERIC PEROTTET sous la direction de Patrick Bellot - Paris 6
Sciences appliquées
Soutenue en 1990
Compilation et parallelisation d'un langage sans variable
par DANIEL BOURGET sous la direction de Patrick Bellot - Paris 6
Sciences appliquées
Soutenue en 1989
Modelisation des operateurs d'arite variable en logique combinatoire. Application au formalisme fonctionnel
par VERONIQUE JAY sous la direction de Patrick Bellot - Paris 6
Sciences et techniques communes
Soutenue en 1989
Conception d'une machine orientee fonctions, application a l'implantation d'un langage dirige par les donnees
par Abdelkader Belkhir sous la direction de Patrick Bellot - Paris 6
Sciences appliquées
Soutenue en 1988
Calcul relationnel et programmation en logique
par Rémi Legrand sous la direction de Patrick Bellot - Paris 6
Sciences appliquées
Soutenue en 1987
Patrick Bellot a été président de jury des 2 thèses suivantes :
Epidémiologie moléculaire et métagénomique à haut débit sur la grille
par Trung-Tung Doan sous la direction de Vincent Breton et de Hong Quang Nguyen . - Clermont-Ferrand 2
Informatique
Soutenue le 17-12-2012
Contributions à l'étude de la dérivation des expressions rationnelles et à l'étude des systèmes de numération abstraits
par Pierre-Yves Angrand sous la direction de Jacques Sakarovitch - Paris, ENST
Informatique et Réseaux
Soutenue le 08-03-2012
