The Informatics Department is structured in twelve projects-teams.

• AlGco: Algorithmics and Performance of Networks
  
  Conception and analysis of network protocols: routing and diffusion of information with quality of service guarantees.
  
  Facts and figures 2005-2008
  

  ---

  
  
  
• ARITH: Computer arithmetics
  
  
  Arithmetics, Linear Algebra, Enumerative Combinatorics, Combinatorics on Words, Symbolic dynamics, Discrete Geometry, Image analysis, Cryptography, Algebraic computation, High-performance computing, Combinatorial physics, Lattice reduction.
  
  ARITH - Facts and figures 2011
  

  ---

  
  
  
• Coconut: Learning, agents
  
  Propose and combine models and algorithms in constraints, learning and agents.
  
  Facts and figures 2005-2008
  

  ---

  
  
  
• DALI: Digits, Architecture Computer Software
  
  The DALI team is developing a unified research in order to improve the numerical quality and the performance of calculations.
  
  DALI enables experts in architecture, micro-architecture, simulation, and compilers and arithmetic to work together in the same team, which is considered as rare in France. .
  
  DALI - Facts and Figures 2011
  

  ---

  
  
  
• GraphIK: Knowledge Representation and Reasoning
  
  Logic-based and graph-based approach, ontological query answering, knowledge-based decision support.
  

  ---

  
  
  
• ICAR: Image & Interaction
  
  Processing visual data such as images, video and 3-D objects: Analysis and processing, coding and protection, modeling and visualization.
  
  Facts and figures 2005-2008
  

  ---

  
  
  
• MAB: Methods and Algorithms for Bioinformatics
  
  Analysis of sequences (genes, genomes, proteins), reconstruction of the evolution (phylogeny, history of duplications), statistical analysis of the transcriptome (ADN chips, SAGE) and of the proteome (2D gels, mass spetrcoscopy).
  
  Facts and figures 2005-2008
  

  ---

  
  
  
  
• MAORE: Methods for Algorithmic and Network Performance
  
  Optimization problems found in the world of networks and scheduling.
  
  Facts and figures 2005-2008 (ex-APR team)
  

  ---

  
  
  
• MAREL : Models And Reuse Engineering, Languages
  
  Software engineering and complex systems: components, objects and complex systems modeling (applications in chemistry, biology, robotics and geographic information).
  
  MAREL ex-Facts and figures 2005-2008
  

  ---

  
  
  
• SMILE: Multi-agent Systems, Interaction, Language, Evolution
  
  Facts and figures 2005-2008
  

  ---

  
  
  
• TEXTE: Exploration and exploitation of textual data
  
  Morpho-syntactic and semantic analysis of natural languages, automated classification of documents, information retrieval and automated translation.
  
  Facts and figures 2005-2008
  

  ---

  
  
  
• TaToo: Knowledge extraction from databases: sequential patterns and ontology
  
  Knowledge extraction and management, data mining, sequential patterns, data warehousing, fuzzy logic, ontology, automatic annotation, databases.
  
  Facts and figures 2005-2008
  

  ---

  
  
  
• ZENITH : Scientific Data Management
  
  Scientific data, data processing, data analysis, uncertain data management, social-based data sharing, scientific workflow management, data integration, content-based information retrieval, cluster computing, grid computing, cloud computing, data virtualization..
  

  ---