Agenda Contact Annuaire Recrutement Intégration
  • fr français français
  • en English English
Intranet
CRIStAL
  • PRÉSENTATION
    • Bienvenue
    • Équipe de direction
    • Services
      • Pôle d'Appui au Développement et à la Recherche
      • Pôle Informatique & Technique
      • Services administratifs
    • Commissions
      • Développement durable
      • Parité et égalité femmes/hommes
      • Commission des Utilisateurs de Moyens Informatiques
      • Commission scolaire
  • ACTUALITÉS
  • RECHERCHE
    • GT / Équipe
    • Plateformes
    • Axes transversaux
    • Valorisation
      • Ingénieurie de projet
      • Partenariats industriels
  • FORMATION DOCTORALE
    • Masters
    • Le doctorat
      • Sujets
      • Thèses en cours
      • Thèses soutenues
      • Accompagnement
    • Habilitations
  • PRODUCTION
    • Publications
    • Logiciels
    • Brevets

HdRs soutenues

Charles Paperman

Finite Semigroup Theory in Algorithmics, Complexity, and Compilation 01/10/2024

Pierre Bourhis

Dialogue entre logique, arbres et circuit 18/09/2024

Simon Bliudze

Contributions to the Rigorous Design of Concurrent Component-Based Software and Systems Using BIP 08/03/2024

Clément Quinton

Faire évoluer, adapter et optimiser les systèmes logiciels configurables 26/01/2024

Mikael Salson

Méthodes sans alignement et indexation pour l'analyse de données nucléiques massives 21/11/2023

Florent Berthaut

Interactions Révélées : Expression et Exploration en Réalité Mixte et Virtuelle 27/10/2023

Sylvain Malacria

Pourquoi les méthodes d'interaction doivent être exposées et reconnaissables 25/10/2023

Julien Forget

Programmation et analyse de systèmes temps réel critiques 12/06/2023

Clémentine Maurice

Side Channels micro-architecturaux : étude de la surface d'attaque Du hardware au navigateur 24/05/2023

Antoine Amarilli

Query Evaluation: Enumeration, Maintenance, Reliability 04/04/2023

Louis Bigo

Modélisation de langages dans les partitions musicales 27/03/2023

Jérémie Dequidt

Simulation interactive basée sur les données pour les applications médicales et robotiques 10/02/2023

Mihaly Petreczky

Théorie de la réalisation des systèmes cyber-physiques et son application à l'identification de système et à la réduction de modèle 26/01/2023

Rémi Bardenet

Turning Repulsive Point Processes into Subsampling Algorithms 12/12/2022

Thomas Pietrzak

On the critical role of the sensorimotor loop on the design of interaction techniques and interactive devices 08/07/2022

Arnaud Liefooghe

Analyse de paysage et recherche heuristique pour l'optimisation multi-objectif 15/06/2022

Aurélien Bellet

Contributions to Decentralized and Privacy-Preserving Machine Learning 30/11/2021

Anne-Lise Gehin

Contribution à la conception des systèmes sûrs de fonctionnement – Approches fonctionnelles et comportementales. 13/10/2021

Walter Rudametkin

Améliorer la sécurité et la vie privée sur le Web à travers les empreintes de navigateur 21/06/2021

Emilie Kaufmann

Contributions to the Optimal Solution of Several Bandit Problems 13/11/2020

Hassen Drira

Analyse de formes pour la compréhension du comportement humain 02/07/2020

Marie-Eléonore Kessaci

Conception basée sur la connaissance d’algorithmes de recherche locale pour l’optimisation combinatoire 14/11/2019

Maxime Morge

Contributions à la négociation multi-agents 13/09/2019

Odalric-Ambrym Maillard

Mathématique de la prise de décision séquentielle statistique 11/02/2019

Marius Bilasco

Analyse faciale dans les flux vidéo 08/02/2019

Hazem Wannous

Vers une compréhension du comportement humain par l’analyse en séries temporelles de mouvements 3D 05/12/2018

Andrey Polyakov

Homogeneïté géométrique linéaire pour le contrôle et l'estimation en temps fini 29/11/2018

Aurélien Lemay

Techniques d’apprentissage automatique des données semi-structurées : requêtes d’inférence et transformation avec des outils d’inférence grammaticale 16/11/2018

Pierre Fortin

Contributions algorithmiques au calcul scientifique sur architectures haute performance 05/07/2018

Alexandre Kruszewski

Are Polytopic Control Design Methods Suitable for the Next Robotic Challenges ? 12/12/2017

Bilel Derbel

Contributions to single- and multi- objective optimization: towards distributed and autonomous massive optimization 11/12/2017

John Klein

Structures algébriques et métriques pour les fonctions de croyance 07/12/2017

François Septier

Sur les algorithmes de type Monte-Carlo pour l’inférence Bayésienne. 06/12/2017

Laurentiu Hetel

Lois de commande soumises à des contraintes discrètes 14/06/2017

Jean Martinet

Caractéristiques avancées pour la représentation d'images : intégration des relations, des poids, de la profondeur et du temps 15/12/2016

Anne Etien

Apport de la méta-modélisation à l'évolution et au test 28/06/2016

Michal Valko

Bandits and graphs and structures 15/06/2016

Martin Monperrus

Des oracles pour le diagnostic et la réparation automatique des bugs logiciels 03/05/2016

Mathieu Giraud

Compter les globules blancs, analyser les partitions 30/03/2016

Slawomir Staworko

Symbolic Inference Methods for Databases 14/12/2015

Cédric Dumoulin

Modéliser pour programmer moins. 01/12/2015

Gang Zheng

Analyse d'observabilité et synthèse d'observateur pour des systèmes dynamiques complexes 26/11/2015

Jérémie Mary

Data-Driven Recommender Systems - Sequences of Recommendations 24/11/2015

Philippe Merle

Intergiciel d’intergiciels adaptable à base de Services, Composants et Aspects 24/09/2015

Romain Rouvoy

Contributions to the Autonomy of Ubiquitous Software Systems 05/12/2014

Xavier Le Pallec

Centrer l’Ingénierie Dirigée par les Modèles sur l’Humain 05/12/2014

Julien Iguchi-Cartigny

Contributions à la sécurité des Java Card 04/12/2014

Michaël Hauspie

Eléments de conception de systèmes embarqués fortement contraints 04/12/2014

Boulbaba Ben Amor

Analyse de formes faciales humaines 3D et applications 02/12/2014

Yvan Peter

Infrastructures support aux activités et scénarios d'apprentissage – du LMS aux environnements ouverts et pervasifs 01/12/2014

Hayfa Zgaya

Approches innovantes de modélisation et d'optimisation collaborative au profit des systèmes logistiques : vers une meilleure gestion de la logistique en santé 17/10/2014

Mohammad Ghavamzadeh

Complexité d’Échantillonnage pour la Prise de Décision Séquentielle 11/06/2014

Nicolas Anquetil

Aide à l'Évolution Logicielle dans les Organisations 09/05/2014

Cédric Lhoussaine

Approches de la modélisation en biologie par langages de programmation concurrente 13/12/2013

Sébastien Picault

De la simulation multi-agents à la simulation multi-niveaux. Pour une réification des interactions. 06/12/2013

Tahiry Razafindralambo

Mouvements Autonomes : vers la Créativité dans les Réseaux sans fil 05/12/2013

Maude Pupin

Modèles bio-informatiques pour les peptides non-ribosomiques et leurs synthétases 03/12/2013

Christian Duriez

Real time haptic simulation of medical procedures involving deformations and device-tissue interactions 01/02/2013

Abdoulaye Gamatie

Design and analysis for multi-clock and data intensive applications on multiprocessor systems on chip 15/11/2012

Géry Casiez

Du mouvement à l’interaction et au geste : études, techniques, outils et périphériques 12/11/2012

Jean-Philippe Vandeborre

Contributions à la recherche et à l'analyse de modèles 3D. 15/06/2012

Daniil Ryabko

Apprenabilité dans les problèmes de l'inférence séquentielle 19/12/2011

Richard Olejnik

Passage à l’échelle d’applications java distribuées auto-adaptatives 26/09/2011

Nathalie Mitton

Internet des objets, auto-organisation et passage à l'échelle 26/05/2011

François Clautiaux

Nouvelles méthodes collaboratives pour des problèmes de bin packing 19/11/2010

Laetitia Jourdan

Métaheuristiques Coopératives : du déterministe au stochastique 15/09/2010

Samy Meftali

Vers la reconfiguration dynamique dans les systèmes embarqués : de la modélisation à l’implémentation 06/07/2010

Luce Brotcorne

Contribution à la Gestion du Revenu et à la Programmation Mathématique à Deux Niveaux 18/06/2010

Farid Nait-Abdesselam

06/11/2009

Jean-Stéphane Varré

Algorithmes pour la comparaison de génomes et la recherche de signaux cis-régulateurs 04/12/2008

José Rouillard

Adaptation en contexte : contribution aux interfaces multimodales et multicanal 04/12/2008

AGENDA

Toutes les dates pour être informé des rendez-vous à ne pas manquer

UTILES

Nos contacts
Notre annuaire
Notre plan d'accès
Notre organigramme

Recrutement

Rejoignez nos équipes de recherche

CNRS ULille Inria Ecole Centrale Lille

Copyrights : Université de Lille et/ou CNRS - Images : Francesco De Comité Haut de page

CONTACT

  • UMR CRIStAL
    Université de Lille - Campus scientifique
    Bâtiment ESPRIT
    Avenue Henri Poincaré
    59655 Villeneuve d'Ascq

UMR 9189

Centre de Recherche en Informatique, Signal et Automatique de Lille

Directrice

Clarisse DHAENENS

Mentions légales
Données personnelles

UMR 9189

Centre de Recherche en Informatique, Signal et Automatique de Lille

Directrice

Clarisse DHAENENS

Mentions légales
Données personnelles