Centre de Recherche en Informatique, Signal et Automatique (CRIStAL)

Nom du contact	Email	Téléphone
CAUDRELIER Myriam	myriam.caudrelier@univ-lille.fr	(+33) 3 28 77 85 30

https://www.cristal.univ-lille.fr/

Bâtiment ESPRIT, Avenue Henri Poincaré
Campus Cité Scientifique, Université de Lille
59655 VILLENEUVE D'ASCQ

• Systèmes tolérants aux fautes • Modélisation, analyse, commande et surveillance de systèmes multi-physiques • Méthodes formelles pour la conception et l’exploitation des systèmes à événements discrets • Calcul formel, calcul haute performance, géométrie et algèbre • Robots déformables • Estimation et contrôle robustes pour les systèmes dynamiques à forte complexité • Différentiation numérique • Linked data (web des données) • Bases de données • Méthodes et modèles d’apprentissage automatique au sein de réseaux d’information • Apprentissage automatique - machine learning, décision séquentielle dans l’incertain • Traitement et modélisation statistique des signaux • Inférence Bayésienne • Théorie des fonctions de croyance • Imagerie polarimétrique • Sécurité de l’information • Modélisation logicielle et ses rapports avec les utilisateurs • Création et maintenance du logiciel, contrôle de la production de logiciels • Remodularisation des applications orientées objets • Interface cerveau-ordinateur, Homme-Machine • Interaction tactile et gestuelle • Interactions humaines assistées par ordinateur • Systèmes multi-agents • Outils et méthodes pour analyser les formes des objets 3D statiques et dynamiques • Détection, suivi et reconnaissance d’objets et de personnes • Méthodes automatiques d’analyse d’images • Modélisation et simulation de systèmes bio-moléculaires • Analyse des séquences biologiques • Algorithmes et applications d'optimisation • Extraction de connaissances • Systèmes Embarqués Adaptatifs et Sécurisés • Conception conjointe logicielle et matérielle • Architecture de systèmes d’exploitation • Analyse musicale computationelle • Réalité Étendue et réalité Virtuelle • Logiciel pour la Réalité Étendue et les Interactions Avancées • Numérisation 3D • Interface annotative • Médiation Muséale • Visualisation de données

Nombre de chercheurs : 216
Nombre de doctorants :
Nombre de personnel d'appui à la recherche : 34
Effectif total : 459

• Urbiviz : Développement d'application pour la visualisation et manipulation de données ouvertes citoyennes 🡭 • Ikonikat 3D : Conception d'un outil permettant la désignation virtuelle sur sculpture, grâce au dessin augmenté 🡭 • RMapViewer : un outil pour les chimistes pour visualiser et analyser les cartes de réactions chimiques 🡭 • «The Open Reality Experience» (TORE) : dispositif innovant de réalité virtuelle de conception totalement originale, unique au monde, l’écran est courbé dans toutes ses dimensions et dénué d’arêtes 🡭 • Robots mous : conception de robots en silicone ou en plastique pour des applications médicales par exemple comme les interventions chirurgicales minimalement invasives 🡭 • VASCO (véhicule automatisé supervisé pour conteneurs) : développement du premier système 100 % automatisé avec guidage sans infrastructure pour le transport de containers dans les terminaux portuaires 🡭 • AI Song Contest, compétition internationale dédiée aux musiques composées à partir de l'intelligence artificielle (IA) - 3ème place du concours sur 38 équipes 🡭

• Thor Morales Bieze, Frederick Largilliere, Alexandre Kruszewski, Zhongkai Zhang, Rochdi Merzouki, et al.. Finite element method-based kinematics and closed-loop control of soft, continuum manipulators. Soft Robotics, Mary Ann Liebert, Inc., 2018, 5 (3), pp.348-364. ⟨10.1089/soro.2017.0079⟩ 🡭 • Hafiz Ahmed, Rosane Ushirobira, Denis Efimov, Damien Tran, Mohamedou Sow, et al.. A fault detection method for an automatic detection of spawning in oysters. IEEE Transactions on Control Systems Technology, Institute of Electrical and Electronics Engineers, 2016, 24 (3), pp.1140--1147. ⟨10.1109/TCST.2015.2472999⟩ 🡭 • Rémi Bardenet, Arnaud Doucet, Chris Holmes. On Markov chain Monte Carlo methods for tall data. Journal of Machine Learning Research, Microtome Publishing, 2017. 🡭 • Adel Noureddine, Romain Rouvoy, Lionel Seinturier. Monitoring Energy Hotspots in Software. Journal of Automated Software Engineering, Springer, 2015, 22, pp.291-332. ⟨10.1007/s10515-014-0171-1⟩ 🡭 • Alix Goguey, Daniel Vogel, Fanny Chevalier, Thomas Pietrzak, Nicolas Roussel, et al.. Leveraging finger identification to integrate multi-touch command selection and parameter manipulation. International Journal of Human-Computer Studies, Elsevier, 2017, 99, pp.21-36. ⟨10.1016/j.ijhcs.2016.11.002⟩ 🡭 • Pierre Pericard, Yoann Dufresne, Loïc Couderc, Samuel Blanquart, Hélène Touzet. MATAM: reconstruction of phylogenetic marker genes from short sequencing reads in metagenomes. Bioinformatics, Oxford University Press (OUP), 2017, 34 (4), pp.585-591. ⟨10.1093/bioinformatics/btx644⟩ 🡭 • Blot, A., Kessaci, MÉ. & Jourdan, L. Survey and unification of local search techniques in metaheuristics for multi-objective combinatorial optimisation. J Heuristics 24, 853–877 (2018). https://doi.org/10.1007/s10732-018-9381-1 🡭 • Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym. Formal proof of dynamic memory isolation based on MMU. Science of Computer Programming, Elsevier, 2018, 162, pp.76-92. ⟨10.1016/j.scico.2017.06.012⟩. 🡭 • Mathieu Giraud, Sławek Staworko. Modeling Musical Structure with Parametric Grammars. Mathematics and Computation in Music (MCM 2015), Jun 2015, London, United Kingdom. pp.85-96, ⟨10.1007/978-3-319-20603-5_8⟩. 🡭 Découvrez la liste complète des publications ici.

CRIStAL entretient des collaborations pluridisciplinaires et interdisciplinaires au niveau régionales avec toutes les Universités Lille Nord de France (Université d'Artois, Béthune, Picardie Jules Verne, Université Polytechnique des Hauts de France, Université du Littoral) également aves les centres hospitalo-universitaire CHRU et centre sur le cancer COL. Nationales : LIRSA, CNAM Paris, ICUBE, STRASBOURG, liris lyon, LIP6, LIRM, LS2N Nantes, Université de Rennes, Université de Polynésie Française, INRIA Lorraine LORIA, Université Grenoble Alpes, Maison de la simulation de Saclay, Université de Versailles-Paris Saclay, Sorbonne Université, Université de Cergy (LPPI EA2528), Inserm Paris (UMR-S1159), Inria/CNRS I-Cube Strasbourg, Inria/Irisa Rennes, Cirad, Inria Rennes, Inria Saclay Parietal, Université Paris-Dauphine, Université de Troyes, Université de Rouen (CETAPS, LITIS), Institut de Recherche en Informatique de Toulouse (IRIT), GIPSA-Lab, AstroParticule & Cosmologie, Université Paris Diderot, ENS Paris, Observatoire de Paris Meudon, IRAM Grenoble, Ecole Polytechnique, Université Paris-Saclay, LPICM, I3S, CRAN, S2N de l’Université de Nantes, ENS-Cachan, observatoire de la côte d’azur, université de Nanterre, Université de Marne-la-Vallée, Centrale Supelec, Institut du Cerveau et de la Moelle Epinière, UTC, Université Aix-Marseille, Inria Bordeaux, IPL AVATAR, Université de Poitiers, Inria Grenoble IRMES / INSEP, LIMOS, Université Clermont Ferrand, CIS à St Etienne, UTBM, IFFSTAR, ESIEE Paris, Onera Toulouse, CEA LIST, IRIT, IRT2, LTCI, L2SN, Institut de Neurosciences de la Timone, INRIA Nancy, UGE/IFSTTAR LEOST-COSYS - Institut des Sciences du Mouvement (ISM, UMR 7287 CNRS-AMU) Internationales : Japanese-French Laboratory for Informatics (Japon), University of Kyoto (Japon), Université de Waterloo (Belgique), City University (Hong-Kong), University of Oxford (Royaume-Uni)

Airbus, Auchan, Décathlon, Gemalto, Orange, Renault, Stormshield, SNCF, Thalès, Vekia, Worldline, InSimo, Naviworks, A.I. Mergence, ATOS, ONERA, ORANGE, MCQ-SCAN, Axelience, Mandarine, GAUSSIN, AMARIS, TOTAL, Facebook AI Research, Berger Levrault, Siemens, Arolla, Davindson Consulting, Scalair, Lexiane consulting, EOMYS, Lipofabrik, EDF, Computer Engineering, CITC, CERTIA, Niryo, Arobas Music, OVH, Comptoir des pêcheurs boulonnais, Ferme de la Gontière, BA Systèmes, Véolia, TDR Groupe, LuxOndes....

• Formations en informatique, développement et déploiement.
• Méthodes statistiques, Intelligence Artificielle.
• Formation en génie logiciel (git, gitlab, intégration continue, ...)
• Conception de logiciel, Un MOOC sous licence Creative Commons http://mooc.pharo.org
• Formation en robotique mobile et manipulation, accès à l'AIP S.mart
• Plusieurs livres sous licence Creative Commons sont disponibles sur http://books.pharo.org

• Modélisation, analyse, commande et surveillance de systèmes multi-physiques • Méthodes formelles pour la conception et l’exploitation des systèmes à événements discrets • Estimation et contrôle robustes pour les systèmes dynamiques à forte complexité • Différentiation numérique • Méthodes et modèles d’apprentissage automatique au sein de réseaux d’information • Traitement et modélisation statistique des signaux • Imagerie polarimétrique • Contrôle de la production de logiciels • Modélisation logicielle et ses rapports avec les utilisateurs • Création et de maintenance du logiciel • Remodularisation des applications orientées objets • Outils et méthodes pour analyser les formes des objets 3D statiques et dynamiques • Détection, suivi et reconnaissance d’objets et de personnes • Méthodes automatiques d’analyse d’images • Modélisation et simulation de systèmes bio-moléculaires • Analyse des séquences biologiques • Extraction de connaissances • Conception conjointe logicielle et matérielle • Analyse musicale computationelle • Conception intégrée de Systèmes et Supervision • Modélisation, analyse, commande et surveillance de systèmes multi-physiques • Conception et exploitation des systèmes à événements discrets • Calcul formel, calcul haute performance, géométrie et algèbre • Conception de logiciels en robotique • Estimation et contrôle robustes pour les systèmes dynamiques à forte complexité • Méthodes et modèles d’apprentissage automatique au sein de réseaux d’information • Traitement et modélisation statistique des signaux • Contrôle de la production de logiciels • Modélisation logicielle et ses rapports avec les utilisateurs • Création et de maintenance du logiciel • Analyse des formes des objets 3D statiques et dynamiques • Prestations d'évaluation et d'audits de sécurité du système d'information • Étude de dispositifs matériels pour la Réalité Étendue • Gestion et mise à disposition d’équipements de Réalité Virtuelle • Expertise en développement logiciel pour la Réalité Étendue et les Interactions Avancées • Accompagnement à la numérisation 3D • Capture de mouvement pour des robots ou des humains • Expérimentation, tests et validation de systèmes robotiques • Impression 3D • Matériel et outils sécurité de sites • Mise à disposition d'un ensemble d'outils pour le développement d'applications complexes • Mise à disposition d'outils de devops et connecteurs sur de nombreuses bibliothèques

Prestations de conseil sur l'ensemble de nos expertises

• Université de Lille
• CNRS
• Centrale Lille

IMT Nord Europe INRIA

FR 2052 SCV - Sciences et Cultures du Visuel GDR 3652 HySPàC - Hydrogène, systèmes et Piles à combustible FR 3733 TTM - Transports Terrestres & Mobilité IFAC - International Federation of Automatic Control GDR BIM - Bioinformatique Moléculaire GDR BioComp GDR GPL - Génie de la Programmation et du Logiciel GDR IA - Aspects Formels et Algorithmiques de l’Intelligence Artificielle GDR 720 ISIS - Information, Signal, Image et ViSion GDR MACS - Modélisation, analyse et conduite des systèmes dynamiques GDR MaDICS - Masses de Données, Informations et Connaissances en Sciences GDR Robotique GDR RO - Recherche Opérationnelle GDR SoC² - Systems on Chip GDR Sécurité Informatique GDR TAL - Traitement automatique des Langues GDR IM - Informatique Mathématique GDR RSD - Réseaux et Systèmes Distribués Alliance Hauts-de-France en Intelligence Artificielle HumAIn AFIHM - Association Francophone d’Interaction Homme-Machine IRT Railenium MESONET Réseau des Mésocentres

631 - Mathématiques, sciences du numérique et de leurs interactions (MADIS)

Equipex TIRREX (Technological Infrastructure for Robotics Research of Excellence) Equipex Continuum Equipex SILECS Equipex Robotex

Santé et agroalimentaire (Nutrition-Santé-Longévité) Valorisation des produits aquatiques (Aquimer) Matériaux, chimie et textiles (EuraMatérials) Transports durables (I-Trans) Industries du commerce (PICOM)

• Cybersécurité et confiance numérique
• Electronique
• Numérique et Robotique
• Modélisation numérique, jumeaux numériques, visualisation des données
• Transformation numérique, inclusion sociale numérique
• Numérique frugal
• Telecom, réseaux, photonique
• Ingénierie, conception logicielle, logiciels libres
• Internet des objets, cloud computing et big data
• Robotique, cobotique, interaction Homme- Machine
• Intelligence artificielle, traitement d'images, data science