Agenda Contact Directory Recruitment Sign up
  • fr français français
  • en English English
Intranet
CRIStAL
  • PRESENTATION
    • Welcome
    • Direction
    • Services
      • Development and Research Support Pole (PADR)
      • IT & Technical Division (PIT)
      • Administrative services
    • Commissions
      • Sustainability
      • Parity and gender equality
      • Commission for Users of IT Resources
      • School commission
  • NEWS
  • RESEARCH
    • Themes / Teams
    • Platforms
    • Transversal axes
    • Valorization
      • Project engineering
      • Industrial partnerships
  • DOCTORAL STUDIES
    • Masters
    • Theses
      • Subjects
      • Current theses
      • Defended theses
      • Guidance
    • Habilitations
  • PRODUCTION
    • Publications
    • Softwares
    • Patents

Defended habilitations theses

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

Evolving, Adapting and Optimizing Configurable Sofware Systems 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

Revealing Interactions : Expression and Exploration in Mixed and Virtual Reality 27/10/2023

Sylvain Malacria

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

Julien Forget

Programming and analysis of critical real-time systems 12/06/2023

Clémentine Maurice

Micro-architectural Side Channels: Studying the attack surface From hardware to browser 24/05/2023

Antoine Amarilli

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

Louis Bigo

Modeling Musical Score Languages 27/03/2023

Jérémie Dequidt

Data-driven interactive simulation for medical and robotic applications 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 to the design of safe systems - Functional and behavioral approaches 13/10/2021

Walter Rudametkin

Improving the Security and Privacy of the Web through Browser Fingerprinting 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

Mathematics of Statistical Sequential Decision Making 11/02/2019

Marius Bilasco

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

Hazem Wannous

Towards Understanding Human Behavior by Time-Series Analysis of 3D Motion 05/12/2018

Andrey Polyakov

Linear geometrical homogeneity for the control and the estimation at finished time(weather) 29/11/2018

Aurélien Lemay

Machine Learning Techniques for semistructured Data : infer queries and transformation with grammatical inference tools 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

Algebraic and metric structures for belief functions 07/12/2017

François Septier

On Sequential Monte-Carlo Algorithms for Bayesian Inference. 06/12/2017

Laurentiu Hetel

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

Jean Martinet

Advanced features for image representation: integrating relations, weights, depth, and time 15/12/2016

Anne Etien

Metamodelisation to support Test and Evolution 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

Counting white blood cells, analyzing music scores 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

Shape analysis of 3D human faces and 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

Concurrent Programming Languages Approaches to Biological Modeling 13/12/2013

Sébastien Picault

De la simulation multi-agents à la simulation multi-niveaux. 06/12/2013

Tahiry Razafindralambo

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

Maude Pupin

Computational biology for nonribosomal peptides and their synthetases 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

Every dates to be informed about meetings not to miss

UTILITIES

Contact us
Our directory
Visit us
Our organizational chart

Recruitment

Join our research teams

CNRS ULille Inria Ecole Centrale Lille

Copyrights : Université de Lille and/or CNRS - Pictures : Francesco De Comité Top

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

Legal notices
Personal data

UMR 9189

Centre de Recherche en Informatique, Signal et Automatique de Lille

Directrice

Clarisse DHAENENS

Legal notices
Personal data