Spécialité INFO

Identité
Laboratoire
Mots clés
Key words
Renaud BLANCH LIG
  • Interaction homme-machine
  • visualisation interactive d'information
  • Human-computer interaction
  • Information visualisation
Georges-Pierre BONNEAU LJK
  • Visualisation
  • Informatique graphique
  • Géométrie numérique
  • Visualization
  • Computer Graphics
  • Digital Geometry
Vincent DANJEAN LIG
  • HPC
  • Analyse de traces
  • Programmation parallèle par tâches
  • OpenMP
  • HPC
  • Traces analysis
  • Task oriented parallel programming
  • OpenMP
Didier DONSEZ LIG
  • Systèmes distribués
  • Intergiciels
  • Génie logiciel
  • Internet des objets
  • Disributed systems
  • Middlewares
  • Software engineering
  • Internet of things
Jean-François MEHAUT LIG
  • Calcul haute performance
  • Programmation multi-coeurs
  • Architectures basse consommation
  • High performance computing
  • Multi-core programming
  • Low power architectures
Jean-François MONIN VERIMAG
  • Vérification et preuves formelles
  • Assistant à la preuve Coq
  • Programmation fonctionnelle
  • Program verification
  • Formal proofs Coq
  • Functional programming
Nicolas PALIX LIG
  • Système d’exploitation
  • Fautes logicielles
  • Langages dédiés
  • Operating system
  • Software faults
  • Domain-specific langages
Michaël PÉRIN VERIMAG
  • Certification d’outils de vérification
  • Programmation linéaire
  • Correction automatique
  • Certification
  • Formal proofs
  • Polyhedra
  • Static analysis 
Olivier RICHARD LIG
  • Calcul haute performance
  • Système de traitement de donnée
  • Gestion d’infrastructure, de tâche et de ressource
  • High performance computing
  • Big Data System
  • Infrastucture, resource and job management system
Bernard TOURANCHEAU LIG
  • Réseaux
  • Protocoles
  • Internet des objets
  • Calcul haute performance
  • Networks
  • Protocols
  • Internet of Things
  • High Performance Computing
Romain VERGNE LJK
  • Informatique graphique
  • Synthèse d’images
  • Édition d’images
  • Rendu expressif
  • Computer graphics
  • Image synthesis
  • Image editing
  • Expressive rendering