Français Anglais
Accueil Annuaire Plan du site
Groups
Research activities: Algorithms


Keywords:
  - Randomized algorithms
  - Evolutionary algorithms
  - Approximation algorithms
  - Onilne algorithms
  - Graph algorithms

Groups
  Algorithms and Complexity
  Toccata

Joint Inria project teams


Research highlights
  The Average Complexity of Tree Alignment
  Automated motif extraction and classification in RNA tertiary structures
  Average complexity of the Jiang-Wang-Zhang pairwise tree alignment algorithm and of a RNA secondary structure alignment algorithm
  Coverage-biased random explo-ration of large models and application to testing
  Tree decomposition and parameterized algorithms for RNA structure-sequence alignment including tertiary interactions and pseudoknots
  A new dichotomic algorithm for the uniform random generation of words in regular languages

Contracts & grants
  Brasero
  PASAPAS

Software & patents
  GenRGenS
  VARNA

Collaborations


Members
  DE ROUGEMONT Michel
  LAPLANTE Sophie
  MAGNIEZ Frédéric
  SANTHA Miklos
  HERRBACH Claire
  ZHOU Yu
  KERENIDIS Iordanis
  ROSEN Adi
  KAPLAN Marc
  FAYOLLE Julien
  SAULE Cédric
  THEVENIN Annelyse
  CHAILLOUX André
  BOROZAN Valentin
  DJELLOUL Mahassine
  FERNANDEZ DE LA VEGA Wenceslas
  PONTY Yann
  VISHNOI Nisheeth
  MALLA Noor
  FEZZANI Riadh
  JACQUELIN Mathias
  VALICOV Petru

Ph.D. dissertations & Faculty habilitations
  Random structures, models, and genome analysis
  Algorithmic Aspects of Genome Rearrangements: Duplications and Partial Orders


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
° High-performance computing
° 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