Acteurs  Algorithmes  Algorithmes parallèles  Analyse de coût  Analyse statique  Applications mobiles  Apprentissage automatique  Architecture -- Informatique  Architecture Hiérarchique  Architecture de services  Architecture des réseaux d'ordinateurs  Architectures hiérarchiques, hybrides et hétérogènes  Architectures parallèles  Assistants de preuve  Automate  Automatique theorique  BSP  Benchmark  Biométrie  Bulk Synchronous Parallelism  Calcul de risque  Calcul intensif  Cell BE  Charge dynamique  Compilation  Compilation  Informatique  Informatique dans les nuages  Logiciels -- Vérification  MPI  Parallélisme  Parallélisme  Programmation parallèle  Programmation parallèle  Vérification  Vérification de modèles  

Gaétan Hains a dirigé les 8 thèses suivantes :

Un modèle de transition logico-matérielle pour la simplification de la programmation parallèle

par Chong Li sous la direction de Gaétan Hains - Paris Est

Informatique

Soutenue le 03-07-2013

BSP algorithms for LTL & CTL model checking of security protocols

par Michaël Guedj sous la direction de Gaétan Hains et de Frédéric Gava . - Paris Est

Informatique

Soutenue le 11-10-2012

Algorithms for XML stream processing : massive data, external memory and scalable performance

par Muath Alrammal sous la direction de Gaétan Hains - Paris Est

Informatique

Soutenue le 16-05-2011

Modèles et outils pour le déploiement d'applications de réalité virtuelle sur des architectures distribuées hétérogènes

par Sylvain Jubertie sous la direction de Gaétan Hains et de Emmanuel Melin . - Orléans

Informatique

Soutenue en 2007

Intégration des modélisations 3D des sciences de la Terre au sein d'environnements de réalité virtuelle à base de grappe de PC

par Souley Madougou sous la direction de Gaétan Hains - Orléans

Informatique

Soutenue en 2005

Modéles opérationnels communicants : performances et algèbres de chemins

par Armelle Merlin sous la direction de Gaétan Hains - Orléans

Informatique

Soutenue en 2004

Conception de langages fonctionnels pour la programmation massivement parallèle

par Frédéric Loulergue sous la direction de Gaétan Hains - Orléans

Informatique

Soutenue en 2000

Parallélisme et équilibrage de charges dans le traitement de la jointure et de la multi-jointure sur des architectures SN

par Mostafa Bamha sous la direction de Gaétan Hains - Orléans

Informatique

Soutenue en 2000

Gaétan Hains a été président de jury des 2 thèses suivantes :

Analyse et compilation de langages de programmation parallèle

par Adilla Susungi sous la direction de Claude Tadonki et de Albert Cohen . - Paris Sciences et Lettres (ComUE)

Informatique temps réel, robotique et automatique

Soutenue le 26-11-2018

Programmation des architectures hiérarchiques et hétérogènes

par Khaled Hamidouche sous la direction de Daniel Etiemble - Paris 11

Informatique

Soutenue le 10-11-2011

Gaétan Hains a été rapporteur des 2 thèses suivantes :

Extension paramétrée de compilateur certifié pour la programmation parallèle

par Sylvain Dailler sous la direction de Frédéric Loulergue - Orléans

Informatique

Soutenue le 17-12-2015

Valorisation d’options américaines et Value At Risk de portefeuille sur cluster de GPUs/CPUs hétérogène

par Michaël Benguigui sous la direction de Françoise Baude - Nice

Informatique

Soutenue le 27-08-2015

Gaétan Hains a été membre de jury des 9 thèses suivantes :

AUTOSAR compliant multi-core RTOS formal modeling and verification

par Imane Haur sous la direction de Olivier Henri Roux et de Jean-Luc Béchennec . - Ecole centrale de Nantes

Automatique, productique et robotique

Soutenue le 30-11-2022

Combinaison de programmes à objets actifs et BSP

par Pierre Leca sous la direction de Françoise Baude - Université Côte d'Azur

Informatique

Soutenue le 02-10-2020

Static Analysis for BSPlib Programs

par Filip Jakobsson sous la direction de Frédéric Loulergue et de Jean-Michel Couvreur . - Orléans

Informatique

Soutenue le 28-06-2019

Génération automatique de code parallèle isochrone

par Thibaut Tachon sous la direction de Frédéric Loulergue - Orléans

Informatique

Soutenue le 28-06-2019

Analyse statique de programmes concurrents avec variables numériques

par Vincent Botbol sous la direction de Emmanuel Chailloux et de Tristan Le Gall . - Sorbonne université

Informatique

Soutenue le 13-09-2018

Service-Oriented Architecture for the Mobile Cloud Computing

par Fatiha Houacine sous la direction de Samia Bouzefrane - Paris, CNAM

Informatique

Soutenue le 25-11-2016

Les processus métiers en tant que services - BPaaS : sécurisation des données et des services

par Mohamed el Mehdi Bentounsi sous la direction de Salima Benbernou - Sorbonne Paris Cité

Informatique

Soutenue le 14-09-2015

Modélisation et analyse de la sécurité dans un système de stockage pair-à-pair

par Samira Chaou sous la direction de Franck Pommereau - Evry-Val d'Essonne

Informatique

Soutenue le 11-01-2013

Synthèse et compilation de services web sécurisés

par Mohamed-Anis Mekki sous la direction de Michaël Rusinowitch et de Yannick Chevalier . - Nancy 1

Informatique

Soutenue le 19-12-2011