Français Anglais
Accueil Annuaire Plan du site
Home > Groups > Research activities > High-performance computing
Groups
Research activities: High-performance computing



Groups
  Parallel Systems

Joint Inria project teams


Research highlights
  Best Paper Award - HPCS 2019 - On server-side file access pattern matching

Contracts & grants
  R-LAS

Software & patents
  RBT solver
  MAGMA
  SUNFLUIDH (collaboration LIMSI)

Collaborations


Members
  EISENBEIS Christine
  BABOULIN Marc
  REMY Adrien
  HIVERT Florent
  MASLIAH Ian
  MARTSINKEVICH Tatiana
  LACASSAGNE Lionel
  LIMA PILLA Laércio
  EL MOUSSAWI Adnan

Ph.D. dissertations & Faculty habilitations



Research activities
° Algorithm control and hyper-parameter tuning
° Algorithms for networked systems
° Automated Proof, SMT and Applications
° Automated Reasoning
° Combinatorics
° Compilation and code optimization
° Data-Centric Languages and Systems
° Deductive Verification of Programs
° Distributed algorithms
° Engineering of interactive systems
° Formal Model-Based Testing
° Formalisation and Proof of Numerical Programs
° Formalisation of (Specification and Programming) Languages in Proof Assistants
° Generative design methods
° Graph Theory
° Green networks
° Heterogeneous Wireless Networks
° Human-Computer Interaction
° Integration of Data and Knowledge
° Interaction and visualization paradigms
° Large scale modelling
° Massively distributed algorithms for complex data
° Mediated collaboration
° Multi-hop wireless networks
° Network coding