Centre de Recherche en Informatique, Signal et Automatique
Nos recherches portent sur les thématiques liées aux grands enjeux scientifiques et sociétaux du moment tels que : BigData, logiciel, image et ses usages, interactions homme-machine, robotique, commande et supervision de grands systèmes, systèmes embarqués intelligents, bio-informatique… avec des applications notamment dans les secteurs de l’industrie du commerce, des technologies pour la santé, des smart grids. Nous sommes reconnus par des contributions originales, des réalisations (matérielles et logicielles) et des collaborations pluridisciplinaires aussi bien dans le domaine des Sciences Humaines et Sociales, que dans le domaine des interactions des sciences du numérique avec la biologie, les mathématiques et les sciences de l’ingénieur. La recherche est effectuée au sein de trente trois équipes de recherche réparties dans les 9 groupes thématiques: Commande et calcul scientifique (CO2); Intelligence des données (DatInG); Génie Logiciel (GL); Interactions et Intelligence collective (I2C); Image; Modélisation pour les Sciences du Vivant (MSV); OPTImisation : Modèles et Applications (OPTIMA); Systèmes Embarqués Adaptatifs et Sécurisés (SEAS); Tolérance Pronostic Système de Systèmes (ToPSyS). Nous sommes ouverts aux collaborations académiques et industrielles et proposons des offres de formations et de services en lien avec nos expertises.
Informations
Direction : Olivier Colot
https://www.cristal.univ-lille.fr/
Bâtiment ESPRIT, Avenue Henri Poincaré
Campus Cité Scientifique, Université de Lille
59655 VILLENEUVE D'ASCQ
Mots-clés
Numérique, Automatique, Traitement du signal et de l'image, Logiciel, Données, Modélisation, Robotique, Bases de données, Intelligence artificielle, HydrogèneLocalisation
- 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
Exemples de projets :
- 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
- 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
Nous disposons de nombreux équipements liées à plusieurs plateformes :
- robots de la plateforme PRETIL (robots déformables, porte container, véhicules autonomes, robot d’impression 3D béton, robots médicaux curithérapie et brachythérapie)
- salles et équipements de réalité virtuelle à l’IRCICA
- bio-informatique PLBS en lien avec l’IFB
- mésocentre de calculs, réseaux GRID5000 et MESONET
- plateforme énergie et pile à combustible
- auditorium Immersif REVICA (écran cylindrique tactilisé 6mx3m, 6 vidéoprojecteurs, captation mouvement)
- showroom pourvu d’équipements légers de visualisation et d’interaction
- laboratoire de photogrammétrie et macro-photogrammétrie
- salle d’expérimentation dotée de dispositifs variés (casques d’immersion, table et écrans tactiles, tapis de marche virtuelle, équipements son et lumière...)
Privés
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....
Académiques
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)
Japanese-French Laboratory for Informatics (Japon), University of Kyoto (Japon), Université de Waterloo (Belgique), City University (Hong-Kong), University of Oxford (Royaume-Uni)