DEPARTEMENT GEOTECHNIQUE ET GENIE CIVIL

Membres Page Laboratoire Description des recherches menées
Christophe DANO Page  Laboratoire 3SR
  • Comportement des sols et des roches : essais et modélisation
  • Renforcement des sols par injection
  • Analyse inverse d’essais in situ
  • Comportement des pieux
Orianne JENCK  Laboratoire 3SR/ Equipe Géomécanique
  • Ouvrages géotechniques (systèmes de fondations, ouvrages en sol renforcés)
  • Modèles physiques de laboratoire
  • Modélisations numériques en milieu continu
Didier HANTZ Page  Laboratoire ISTerre
  • Etude des processus conduisant aux éboulements rocheux
  • Méthodes d’évaluation de l’aléa d’éboulement et du risque associé
  • Modélisation du recul des parois rocheuses
Grégory BIEVRE Page  Laboratoire ISTerre
  • Mouvements de terrain
  • Hydrogéologie
  • Géologie du Quaternaire/Paléo-environnements
  • Géophysique appliquée
  • Monitoring géophysique
  • Modélisation numérique
Stéphane SCHWARTZ Page  Laboratoire ISTerre
  • Dynamique des chaines de montagnes et des risques gravitaires associés
  • Géologie structurale, Tectonique, géochronologie, pétrologie
Etienne REY  Laboratoire ISTerre
Denis JONGMANS  Laboratoire ISTerre
  • Surveillance géophysique des mouvements de terrain
  • Transition solide-fluide dans les argiles
 

INFORMATIQUE ET ELECTRONIQUE DES SYSTEMES EMBARQUES et ELECTRONIQUE ET INFORMATIQUE INDUSTRIELLE

Membres Page Laboratoire Description des recherches menées Keywords
Liliana ANDRADE Page TIMA
  • Modélisation de systèmes intégrés mixtes analogiques/numériques
  • Simulation et co-simulation de systèmes complexes (systèmes logiciel/matériel cyber-physiques)
  • Sychronisation des systèmes discret/continu
  • Integrated Analog / Digital Integrated Systems Modeling
  • Simulation and co-simulation of complex systems (cyber-physical software / hardware systems)
  • Sychronization of discrete / continuous systems
Skandar BASROUR Page TIMA
  • Conception, fabrication et caractérisation de MEMS
  • Développement de nouveaux matériaux pour piezoMEMS (applications: microacoustique et medtech)
  • Modelling, fabrication and characterization of MEMS
  • Development of new materials for piezoMEMS (applications: microacoustic  and medtech)
Gilles CAUFFET Page G2ELab
  • Modélisation de champs electromagnétiques faible basse fréquence
  • Mesure, Caractérisation et  Métrologie Magnétique
  • Problème inverse et identification de sources électromagnétiques
  • Modeling low-frequency electromagnetic fields
  • Measurement, Characterization and Magnetic Metrology
  • Inverse problem and identification of electromagnetic sources
Pierre CORBINEAU Page VERIMAG
  • Assistants de preuve, Preuves formelles, Logique
  • Démonstration automatique, procédures de décision
  • Utilisation des preuves formelles pour les algorithmes distribués autostabilisants
  • Proof Assistants, Formal proof, Logic
  • Automatic demonstration, decision procedures
  • Using formal evidence for self-stabilizing distributed algorithms
David EON Page INSTITUT NEEL
  • Croissance par plasma microonde de diamant
  • Physique du composant
  • Electronique de puissance
  • Microwave plasma growth of diamond
  • Electronic devices physics
  • Power electronics semiconductors
Eric GASCARD Page G-SCOP
  • Diagnostic, pronostic, maintenance de systèmes de production de biens physiques ou de services
  • Modélisation et simulation de systèmes dynamiques complexes
  • Automates temporisés, Automates communicants, Automates hybrides
  • Réseaux de Petri, Réseaux de files d'attente
  • Systèmes à événements discrets, Arbres de défaillances dynamiques
  • Simulation de Monte Carlo
  • Diagnosis, prognosis, maintenance of production systems for physical goods or services
  • Modeling and simulation of complex dynamic systems
  • Timed automata, communicating automata, hybrid automata
  • Petri nets, Queuing networks
  • Discrete Event Systems, Dynamic Failure Trees
  • Monte Carlo simulation
Etienne GHEERAERT Page INSTITUT NEEL
  • Semiconducteurs à grand gap
  • Croissance et technologie du diamant
  • Composants électroniques de puissance
  • Wide bandgap semiconductors
  • Diamond growth and processing
  • Power electronic devices
Nathalie GUYADER Page  GIPSA-LAB
  •  Modèles de perception visuelle et analyse des mouvements oculaires
  • Visual perception models and eye movement analysis
Patricia LADRET Page GIPSA-LAB
  • Qualité des images et vidéos (qualité avec ou sans référence), qualité esthéthique.
  • Computer vision (extraction et suivi d'un objet pour prise de décision, par exemple vérifier la barre de sécurité sur les télésièges)
  • Quality of images and videos (quality with or without reference), aesthetic quality.
  • Computer vision (extraction and tracking of an object for decision making, for example checking the safety bar on chairlifts)
Yves LAVAULT Page TIMC-IMAG
  • Physiologie cardio-vasculaire et respiratoire. Hémodynamique.
  • Projet CATARSI : Amélioration de la mesure de pression artérielle par cathérisme de l'artère radiale en Anesthésie-Réanimation.
  • Recherche d'une réponse adaptée aux situations de découplage entre pressions artérielles centrale et périphérique.
  • Cardio-vascular and respiratory physiology. Hemodynamics.
  • CATARSI project: Improvement of the arterial pressure measurement by catheterization of the radial artery in Anesthesia-Resuscitation.
  • Search for an answer adapted to decoupling situations between central and peripheral arterial pressures.
Denis PELLERIN Page GIPSA-LAB
  • Analyse d'images et de vidéos (classification par réseau de neurones, reconnaissance d'activité humaine, perception en robotique mobile)
  • Modèles de perception visuelle, substitution sensorielle
  • Image and video analysis (classification by neural network, recognition of human activity, perception in mobile robotics)
  • Models of visual perception, sensory substitution
Frédéric ROUSSEAU Page TIMA - CNRS UMR5159
  • Architecture des systèmes intégrés, architecture logiciel/matériel, outils de CAO pour la conception, le prototypage ou la génération de code bas niveau
  • Integrated systems architecture, software / hardware architecture, CAD tools for low-level design, prototyping, or code generation
Zineb SIMEU-ABAZI Page G-SCOP
  • Sûreté de fonctionnement, Surveillance
  • Optimisation de la maintenance
  • Diagnostic, pronostic
  • Fiabilité des systèmes
  • Dependability, Surveillance,
  • Optimization of maintenance,
  • Diagnosis, prognosis,
  • Reliability of the systems.
Alain SYLVESTRE Page G2ELab
  • Propriétés diélectriques de matériaux isolants appliqués à l'énergie électrique, la microélectronique et l'électronique
  • Développement de générateurs électrostatiques souples
  • Dielectric Properties of Insulating Materials Applied to Electrical Energy, Microelectronics and Electronique
  • Development of flexible electrostatic generators
Alina VODA Page GIPSA-LAB
  • Modélisation  dynamique à base de données, Commande, robustesse, systèmes fractionnaires
  • Application aux nano-systèmes, systèmes intégrés et systèmes biologiques
  • Dynamic Database Modeling, Control, Robustness, Fractional Systems
  • Application to nano-systems, integrated systems and biological systems
 

INFORMATIQUE

Membres Page Laboratoire Description des recherches menées
Laurent BESACIER Page LIG
  • Traitement automatique des langues, traitement de la parole, traduction automatique, technologies vocales, apprentissage profond
Renaud BLANCH Page LIG
  • Interaction homme-machine, visualisation interactive d'information
Georges-Pierre BONNEAU Page LJK
  • Visualisation, Informatique Graphique, Géométrie Numérique
Vincent DANJEAN Page LIG
  • HPC, analyse de traces, programmation parallèle par tâches, OpenMP
Didier DONSEZ Page LIG
  • Systèmes distribués, intergiciels, génie logiciel, internet des objets.
Jean-François MEHAUT Page LIG
  • Calcul haute performance, programmation multi-coeurs, architectures basse consommation
Jean-François MONIN Page VERIMAG
  • Vérification et preuves formelles, assistant à la preuve Coq, programmation fonctionnelle
Michael PERIN Page VERIMAG
  • Certification d’outils de vérification, programmation linéaire, correction automatique
Nicolas PALIX Page LIG
  • Système d’exploitation, fautes logicielles, langages dédiés
Olivier RICHARD Page LIG
  • Calcul haute performance, système de traitement de donnée, gestion d’infrastructure, de tâche et de ressource
Bernard TOURANCHEAU Page LIG
  • Réseaux, protocoles, internet des objets, calcul haute performance
Romain VERGNE Page LJK
  • Informatique graphique, synthèse d’images, édition d’images, rendu expressif.

PREVENTION DES RISQUES

Membres Page Laboratoire Description des recherches menées Keywords

Olivier ADROT

Page

G-SCOP  CNRS UMR 5272

  • Diagnostic, gestion des risques
  • Diagnosis, risk management

Komla AKO

Page

LRP  CNRS UMR 5520

  • Instabilité des gels
  • Gels Instability

Sandrine CAROLY

Page
PACTE
  • Gestion des risques et l'innovation
  • Risk Management and Innovation

Françoise DELPECH

Page

LRP  CNRS UMR 5520

  • Intensification des transferts et de la réactivité dans les procédés de traitement des pollutions aqueuses et gazeuses
  • étude des propriétés rhéologiques de matériaux polymères
  • Intensification of transfers and reactivity in the processes of treatment of aqueous and gaseous pollutions
  • study of the rheological properties of polymer materials

Aurélien DOMMERGUE

Page

IGE CNRS UMR 5001

  • Surveillance, étude du  transport, devenir, réactivité de contaminants (tel qu'un composé toxique comme le mercure) depuis nos latitudes jusqu'à leur dépôt dans les écosystèmes éloignés et fragiles tels que les régions polaires ou milieux d'altitude
  • Monitoring, study of transport, fate, reactivity of contaminants (such as a toxic compound such as mercury) from our latitudes to their deposition in remote and fragile ecosystems such as polar regions or highlands

Jean-Marie FLAUS

Page

G-SCOP  CNRS UMR 5272

  • Systèmes de détection d'intrusion pour systèmes industriels,
  • Méthodes d'analyse de risques mixtes cybersécurité sûreté,
  • Prise en compte de l'incertitude dans l'analyse de risques,
  • Internet des Objets Industriels pour la sûreté
  • Intrusion detection systems for industrial systems
  • Methods of mixed risk analysis cybersecurity safety
  • Consideration of uncertainty in risk analysis
  • Internet of Industrial Objects for safety

Olivier HUGON

Page
LiPhy CNRS UMR 5588
  • Imagerie laser par réinjection optique, imagerie photoacoustique.
  • Application au domaine du vivant : imagerie in-vivo de la microvascularisation.
  • Optical feedback laser imaging, photoacoustic imaging.
  • Application to the field of life: in-vivo imaging of microvasculature.

Emmanuel SIMEU

Page

TIMA   CNRS UMR 5159

  • Commande et surveillance des systèmes intégrés, Automatique embarquée des systèmes intégrés,
  • Fiabilité des systèmes mixtes, Modélisation et contrôle des performances systèmes des hétérogènes,
  • Modélisation statistique et apprentissage automatique pour le test et l’adaptation des systèmes mixtes numériques/analogiques/RF,
  • Efficacité énergétique des systèmes hétérogènes.
  • Embedded systems control and monitoring, Embedded systems embedded automation
  • Mixed systems reliability, Heterogeneous system performance modeling and control
  • Statistical modeling and machine learning for testing and adaptation of mixed digital / analog / RF systems
  • Energy efficiency heterogeneous systems.

TECHNOLOGIE DE L'INFORMATION POUR LA SANTE

Membres Page Laboratoire Description des recherches menées
Pascale CALABRESE TIMC - IMAG
  • Physiologie respiratoire et cardiaque
  • Enregistrements de données physiologiques (volontaires sains ou patients), 
  • Description de ces deux fonctions physiologiques et leurs interactions dans certaines conditions 
  • Mise au point des nouveaux indices d’évaluation de données en physiologie respiratoire et cardiaque
Julie FONTECAVE-JALLON Page TIMC - IMAG
  • Acquisition et traitement de signaux physiologiques
  • Traitement du signal temps-fréquence
  • Modélisation mathématique de fonctions physiologiques
  • Interactions entre fonctions physiologiques (circulation, respiration, déglution...)
Nicolas GLADE Page TIMC - IMAG
  • Réseaux d'automates Booléens à seuil
  • Inférence de réseaux & programmation par contraintes
  • Modèles biologiques hybrides
  • Auto-organisation cellulaire?
Francis JAMBON Page LIG
  • Analyse comportementale en-ligne des activités perceptivo-gestuelles
  • Analyse des schémas de mobilité récurrents dans le contexte des mobilités géographiques
  • Systèmes pour l'apprentissage humain basés sur la simulation
  • Interaction par le regard
Emmanuel PROMAYON Page TIMC - IMAG
  • Gestes Médico-Chirurgicaux Assistés par Ordinateur (GMCAO)
  • Simulation biomécanique de tissus mous
  • Analyse et recalage d'images
  • Plateforme de prototypage pour les GMCAO CamiTK