You are here




Leader: François TAIANI (interim)

Provides a set of abstractions and algorithms to build distributed applications in wide-scale, linking a wide set of entities to limited, geographically remote and potentially mobile capabilities.

Our research activities range from theoretical bounds to practical protocols and implementations for large-scale distributed dynamic systems to cope with the recent and tremendous evolution of distributed systems. Effectively we observed huge evolutions:

  • Scale shift in terms of system size, geographical spread, volume of data
  • Dynamic behavior due to versatility, mobility, connectivity patterns

These characteristics lead to a large amount of uncertainty. Mastering such uncertainty is actually our goal.


We aim at providing a wide range of applications (from content delivery networks to sensors networks, from backup systems to voice over IP, from publish-subscribe systems to genomic databases). We focus our research on two main areas: information management and dissemination. We believe such services are basic building blocks of many distributed applications in two networking contexts: Internet and wireless sensors. These two classes of applications, although exhibiting very different behaviors and constraints, clearly require scalable solutions. To achieve this ambitious goal, we need to tackle the issues both along the theoretical and practical sides of scalable distributed computing and ASAP will be organized along the following themes:

Created since: 01/07/2007
Associated establishments: Université de Rennes 1, Inria, INSA Rennes
Location: Rennes (35)



Leader: Christophe BIDAN (interim)

Confidentiality, Integrity, Availability, Repartition

Scientific project

(Page site web en anglais)

Research domains

(Texte en anglais)

In the field of security and distributed systems, the CIDRE team focuses mainly on the three following topics:

  • Intrusion Detection;
  • Privacy Protection;
  • Trust Management.

Have a look on:

Créée le : 01/07/2011
Établissement de rattachement : Université de Rennes 1, Inria, CNRS, CentraleSupélec
Localisation : Rennes et Cesson-Sévigné (35)



Leader: Gildas AVOINE & Pierre-Alain FOUQUE

'EMbedded SEcurity and Cryptography'

The research team "Embedded Security and Cryptography" (EMSEC) addresses questions related to computation security and to electronic ubiquitous systems. EMSEC especially focuses on the application of cryptography in the security of data, hardware (e.g., smartcards, RFID, FPGAs), and software implementations (on smartphones, embedded systems, etc.). The research activities of this team target both the construction of security-preserving mechanisms and the design of new attacks, and addressing research questions with a four-layer approach. These are, from the most theoretical to the most practical:

  1. (1) Security models and proofs.
  2. (2) Design and attacks of building blocks to secure communicating objects (cryptography on elliptic curves, authentication protocols with distance bounding, authenticated encryption, cryptanalytic time-memory trade-off, etc.).
  3. (3) Attacks on implementations (on smartcards, RFID tags, smartphones, side-channel attacks, forensics and reverse-engineering), and countermeasures.
  4. (4) Cryptanalysis of real-life embedded systems.
Created since: 23 Sep. 2014 Team : 5 Feb. 2016
Associated establishments: INSA Rennes, Université de Rennes 1, CNRS
Location: Campus of Beaulieu, Rennes


Leader: Gabriel ANTONIU

Texte en anglais

Our research activities address the area of distributed data management at challenging scales, with a particular focus on clouds and petascale HPC architectures. We target data-oriented high-performance applications that exhibit the need to handle massive non structured data – BLOBs: binary large objects (on the order of terabytes) – stored in a large number (thousands to tens of thousands), accessed under heavy concurrency by a large number of clients (thousands to tens of thousands at a time) with a relatively fine access grain (on the order of megabytes). Examples of such applications are:

  • Cloud data-mining applications (e.g., based on the MapReduce paradigm) handling massive data distributed at a large scale
  • Advanced (e.g., concurrency-optimized, versioning-oriented) cloud services both for user-level data storage and for virtual machine image storage and management at IaaS level
  • Distributed storage for post-Petascale computing applications
  • Storage for desktop grid applications with high write throughput requirements.

Our approach strongly relies on experimentation on the Grid’5000 platform.

Created since: Pré-équipe 15/05/12; Team: 1/07/12
Associated establishments: University of Rennes 1, Inria, INSA Rennes, ENS Rennes
Location: Campus of Beaulieu, RENNES (35)


Leader: Christine MORIN

The MYRIADS team gathers researchers in large scale distributed systems. The long-term goal of the MYRIADS project-team is to build next generation utility computing platforms by designing and implementing systems and environments for autonomous service and resource management in large virtualized infrastructures. This requires tackling the challenges of dependable application execution and efficient resource management.

Créée le : Équipe 01/01/12
Établissement de rattachement : Inria, Université de Rennes 1, CNRS, INSA Rennes
Localisation : Campus de Beaulieu, Rennes (35)




Leader: Xavier LAGRANGE

ADOPNET (Advanced Technologies for Operated Networks) contributes to the specification of architectures, protocols, control mechanisms, and monitoring mechanisms for the next generation networks. Our goal is to build networks that are flexible, adaptive, energy-efficient, secure, and able to deliver content on a large scale to various types of terminals. ADOPNET, in particular, addresses the convergence of access networks, the combination of radio and optical technologies, and adaptive software-based content delivery networks. ADOPNET research team succeeds to ATNET and REOP teams.

Created since: 29 mai 2015
Associated establishments: Université Rennes 1, Institut Mines Telecom - IMT Atlantique
Location : Campus of Brest Iroise / Rennes – Campus of Beaulieu / Cesson-Sévigné


Leader: Frédéric GUIDEC

CASA : The team focuses on supporting communication and services in partially or intermittently connected networks. It notably investigates the DTN (Delay/Disruption Tolerant Networking) approach as a means to reach these goals.


The research activity of team CASA aims at supporting communication and service provision in challenged environments, and most notably in partially or intermittently connected mobile networks. The team mostly focus on the Opportunistic Networking model, and investigate how this model can help support communication and services in challenged networks.

Part of team CASA activity consists in designing opportunistic routing protocols, and implementing these protocols in communication middleware so they can be tested in real conditions.

They also investigate how distributed applications can be designed and implemented for networks whose characteristics keep changing spontaneously and unpredictably. The term Opportunistic Computing has been introduced recently in the literature in order to refer to a new computing paradigm that relies exclusively on pairwise contacts bewteen mobile hosts. Team CASA strives to contribute to the development of this computing paradigm by designing methods, models, and middleware tools that make it easier for programmers to develop distributed applications for opportunistic networks.


Delay/Disruption-Tolerant Networking (DTN); Opportunistic Networking/Computing; Mobile Ad Hoc Networks (MANETs); Wireless Sensor Networks (WSNs); Service-Oriented Architecture.

Created since: 01/07/07
Associated establishments: Université Bretagne Sud (UBS)
Location: Vannes (56) Campus of UBS



Leader: Gerardo RUBINO

Consult the french page.


Leader: Nicolas MONTAVONT

Have a look on french page

Created since: 01/01/12
Associated establishments: Institut Mines Telecom - IMT Atlantique, CNRS
Location : Campus of Cesson-Sévigné (35)



Leader: Jean-Marie BONNIN
WEB Site:
TAngible COMputing Archtectures
Fact following the teamACES
Created since: Pré-équipe 01/01/14
Associated establishments: Inria, Université de Rennes 1
Location : Campus de Beaulieu, RENNES (35)

Department: D3 - ARCHITECTURE


Leader: Olivier BERDER

Even the smallest sensors are now able to send their data over what is called Internet of Things (IoT), such that every user in the world could reach it. But the more sensors we place, the less we want to change batteries! In such a context, the GRANIT team purpose is to design algorithms and architectures able to adapt to environment parameters, such as propagation channel characteristics, wireless traffic conditions or network topology while respecting applications requirements in terms of data rate, reliability, latency, and most of all, life time of involved systems.

Created since: 05/01/15 Team : 04/12/15
Associated establishments: Université de Rennes 1, CNRS
Location : Campus de Lannion (22) – University of Rennes 1


Leader: Erven ROHOU

Pushing Architecture and Compilation for Application Performance

The general research direction is the performance of computing systems. Building upon the expertise of its members, Pacap will develop techniques based on compilation, manipulation of executables in binary form, and microarchitecture. Transversal aspects of interest to Pacap include reliability, security, green computing.

Fact following teams:  ALF
Created since: 16/09/2016
Associated establishments: Inria,Université de Rennes 1
Location : Campus of Beaulieu, RENNES (35)



Leader: Olivier SENTIEYS

The Cairn project-team researches new architectures, algorithms and design methods for flexible and energy efficiency domain-specific system-on-chip (SoC).

As performance and energy-efficiency requirements of SoCs are continuously increasing, they become difficult to fulfil using only programmable processors solutions. To address this issue, we promote/advocate the use of reconfigurable hardware, i.e. hardware structures whose organization may change before or even during execution. Such reconfig- urable SoCs offer high performance at a low energy cost, while preserving a high level of flexibility. The group studies these SoCs from three angles: (i) The invention and design of new reconfigurable platforms with an emphasis on flexible arithmetic operator design, dynamic reconfiguration management and low- power consumption. (ii) The development of their corresponding design flows (compilation and synthesis tools) to enable their automatic design from high-level specifications. (iii) The interaction between algo- rithms and architectures especially for our main application domains (wireless communications, wireless sensor networks and digital security). The team has been created on January the 1st, 2008 and is a “reconfiguration” of the former R2D2 research team from Irisa.

The development of complex applications is traditionally split in three stages: a theoretical study of the algorithms, an analysis of the target architecture and the implementation. When facing new emerging applications such as high-performance, low-power and low-cost mobile communication systems or smart sensor-based systems, it is mandatory to strengthen the design flow by a joint study of both algorithmic and architectural issues. The figure below shows the global design flow that we propose to develop. This flow is organized in levels which refer to our three research themes: application optimization (new algorithms, fixed-point arithmetic and advanced representations of numbers), architecture optimization (reconfigurable and specialized hardware, application-specific processors), and stepwise refinement and code generation (code transformations, hardware synthesis, compilation).

Keywords: Hardware Accelerators, Compiling, Embedded Systems, Energy Consumption, Parallelism, Wireless Sensor Networks, Security, Signal Processing, Reconfigurable Hardware, Computer Arithmetic, System-On-Chip

Created since: 01/01/2009
Associated establishments: Université de Rennes 1, Inria, CNRS, ENS Rennes
Location: Rennes (35) and Lannion (22)



Leader: Flavio OQUENDO

The main research domain of the ArchWare team concerns the software architecture. The software architecture provides the abstraction in order to rigorously design, develop and evolve software-intensive systems. It is the cornerstone to tame system complexity and to satisfy extra-functional requirements. The team develops innovative and sound languages, processes, and tools for architecting evolving software. The main project of team focuses on the scientific and technological challenges raised by architecting Systems-of-Systems (SoS).

Research directions

The challenges raised by architecting Systems-of-Systems are:

  • Suitable architectural abstractions for formulating the architecture and re-architecture of SoS;
  • Appropriate formalism and underlying computational models;
  • Supporting mechanisms to construct, manage and evolve SoS driven by architecture descriptions, while resiliently enforcing their correctness, effectiveness and efficiency.
Created since: 1st januar 2012
Associated establishments: Universitty of South Britanny (UBS)
Location: Vannes (56)



Leader: Thomas JENSEN

The goal of the Celtique project is to improve the security and reliability of software through software certificates that attest to the well-behavedness of a given software. We aim at providing certificates issued from semantic software analysis. The semantic analyses extract approximate but correct descriptions of software behaviour from which a proof of security can be constructed.

The analyses of relevance include numerical data flow analysis, control flow analysis for higher-order languages, alias and points-to analysis for heap structure manipulation and data race freedom of multi-threaded code.

Team created since: 1st july 2009
Associated establishments: Université de Rennes 1, Inria, INSA Rennes, ENS Rennes
Location: Rennes (35)



Leader: Benoit BAUDRY

DIVERsity-centric Software Engineering

Our main objective is to automatically compose and synthesize software diversity from design to runtime to address unpredictable evolutions of software intensive systems. We address this objective through 4 main research axis: software language engineering, software variability, software adaptation and software diversification.

Research axis

The research in DiverSE is organized around 4 research axis:

  • Software Language Engineering to handle the diversity of languages used by the stakeholders involved in the construction of software intensive systems
  • Software Product Lines to address the diversity of features required by the different customers of these systems
  • Distributed architecture and deployment to handle the diversity of runtime environments in which software has to run and adapt
  • Software diversity and testing to enhance the resilience of software.

These four axis share and leverage the scientific and technological results developed in the area of model-driven engineering in the last decade. This means that all our research activities are founded on sound abstractions to reason about specific aspects of software systems, compose different perspectives and automatically generate parts of the system.

Fact following the team: TRISKELL
Created since: 01/07/2014
Associated establishments: University of Rennes 1, Inria, INSA Rennes
Location: Rennes (35)


Leader: Benoît CAILLAUD
WEB Site:

Modélisation hybride et conception par contrats pour les systèmes embarqués multi-physiques

The Hycomes team focuses on cyberphysical systems design, combining physics and software. The applications are related to the design and optimal exploitation of industrial systems such as transport (aircrafts, railway) or energy systems. Two research tracks are developed:

  1. Hybrid systems modeling, where continuous-/discrete-time dynamics are combined;
  2. Contract-based design methods for cyberphysical systems.

More precisely, the Hycomes team is addressing the following problems:

  • The design of hybrid system modeling languages, based on differential algebraic equations, enabling a modeling style close to the way physicists model devices in various domains (multibody mechanics, hydraulics, electronics, thermal);
  • Faithful simulation techniques, supporting a rigorous semantics;
  • Modular compilation techniques for hybrid systems languages, with the objective of improving the reusability of components models.
  • Contract-based reasoning techniques, supporting the requirements engineering stages, appearing early in the design process of cyberphysical systems.
Team created since: 01/07/13
Associated establishments: Inria, CNRS
 Location: campus de Beaulieu, RENNES (35)


Leader: Sophie PINCHINAT

Logic and Applications


Nowadays, many of our daily activities which were in the past performed in the ‘real’ world and in interaction with other humans, are carried out in a digital world in interaction with non-human ‘agents’: classic examples are e-commerce, e-voting, e-banking, e-government, etc. . . This transposition of some of our activities into the digital world already plays an important role in our everyday life. This transposition is expected to develop in the future, which is certainly desirable in order to harmonize the rate at which our society evolves. This large picture exhibits an urgent need for both taming already existing e-activities and assisting the birth of new ones.

Existing e-activities, such as e-voting, e-commerce, e-banking, e-government etc. rely on a combination of numerous technologies either at the physical/hardware level or at the digital/software one. The nature of interaction between different services that form the whole application is very complex and leads to critical issues regarding its quality that the research community together with industry try to resolve. Among the main issues, we can mention privacy, legal process, correction of the functionalities. Also, the growing development of applications to support e-activites urges the designers to elaborate methodologies that would allow them to exploit adaptability or re-usability of existing services.

Whichever issue can be picked, rigorous settings are required in order to make evidence of the correctness, the quality, the robustness, etc. of the existing products.

Moreover, some sectors of activity currently suffer from a lack of connection with the digital world: typically, legal processes are very far from being computerized or even computer-assisted, nor are our abilities to remote control some domestic processes such as closing roller blinds when a storm is forecast, and so on. We believe that the afore-mentionned rigorous settings should help in designing new e-activities that support underdeveloped domains currently operated by hand.

The Logica Project lies in this will to bring out the capabilities to rigorously analyze or design the functionalities of services in e-activities, with a focus on interaction issues from a logical perspective.

Research directions

The project gathers experts in logic who aim at contributing in the development of logical theories to provide a solid framework to analyze and design applications for e-activities. We propose three main actions which contribute to this aim:

  • Logics and Interaction
  • Practical applications
  • Disseminating logic
Created since : Team 03/07/15
Associated establishments: University of Rennes 1, ENS Rennes
Location : Campus of Beaulieu, RENNES (35)



Leader: Antoine BEUGNARD

The PASS project claims that a design approach combining both product models and development process models will dramatically (1) ease the design and development of adaptive software systems and (2) improve their quality. The project aims at studying development processes and product models for an original component model in order to improve its adaptative features and to have a better control on its non-functional properties

Team created since: 01/01/12
Associated establishments: Institut Mines Telecom - IMT Atlantique
Location : Campus of BREST (29)


Leader: Eric FABRE

SUpervision of large MOdular and distributed systems

The SUMO team proposes to combine formal methods approaches with concurrency theory, in order to address the modeling, analysis and management of large distributed or modular systems exhibiting quantitative aspects. Large distributed softwares and systems are indeed calling for quantitative models involving time, probabilities, costs, and combinations of them. As many problems in this setting become untractable or even undecidable, we are interested in the design of efficient approximation techniques, for example borrowed from electrical engineering approaches to the management of large stochastic systems. A strong point of SUMO is to gather skills from formal methods, discrete event systems, concurrency theory, and electrical engineering. Several application fields are covered: telecommunication networks management, modeling and verification of web services, control issues in large data centers, plus more opportunistic applications in the field of embedded systems or biological pathways.

Team created since: 01/01/13
Associated establishments: Inria, Université de Rennes 1, CNRS
Location: Campus of Beaulieu, RENNES (35)



Leader: Axel LEGAY

Threat Analysis and Mitigation for Information Security

Tamis is a new secrutiy team at Inria Rennes. The team studies new attacks (offensive security) on complex systems and technologies. It also study a panoply of test-based and formal methods approaches to detect vulnerability and malwares.

The team implements the research done within the High Security Laboratory (LHS) leaded by Jean-Louis Lanet.

Fact following teams: ESTASYS
Created since:: 01/01/16
Associated establishments:  Inria, CNRS

Location : Campus of Beaulieu, RENNES



Leader: Jean-Pierre TALPIN
WEB Site:
Tim, Events and Architectures

Time modeling in system design

    •  Time systems and calculi — logical and algebraic representations
    •  Time abstractions and refinements — logical and algebraic relations among time domains
    •  Conformance and mitigation — Verification of timed quantitative properties, automated synthesis of adapters for synchronisation

Time as a viewpoint in system analysis

    •  Logic and quantitative reasoning for analysis and verification
    •  Type inference, abstract interpretation, SAT/SMT verification
    •  Control and schedule synthesis, abstract affine scheduling
    •  Types, modules, interface and contract algebra

Application to embedded system design

    •  An infrastructure for polychronous modeling, analysis and (translation validated) code generation, the Eclipse IWG Polarsys project Polychrony on Polarsys
    •  A standard for modeling time  in architecture analysis and design
    •  Architecture exploration, virtual prototyping, virtual integration

Fact following the teamESPRESSO
Created since: 01/01/14
Associated establishments: Inria, CNRS
Location: Campus of Beaulieu, RENNES



Leader: François CHAUMETTE
Visual servoing

Lagadic is an Inria research group located both at Inria Rennes Bretagne Atlantique and Inria Sophia-Antipolis Méditerranée. The Lagadic part in Rennes is also an Irisa group.

Our research mainly deals with robot vision, visual servoing, real time visual tracking and SLAM for applications in localization, manipulation, navigation, medical robotics and augmented reality.

Created since: 06/12/04
Associated establishments: Inria, Université de Rennes 1, CNRS, INSA Rennes

Location: Campus of Beaulieu, RENNES (35)



Leader: Sébastien LEFEVRE

The overall objective of the team is the processing of complex images for environmental purposes. In such a context, available data form a massive amount of multidimensional (multi- or hyperspectral) noisy observations with high spatio-temporal variability. While understanding these data stays very challenging, environmental systems always come with some additional knowledge or models which are worth being exploited to achieve environment observation. Finally, whatever the task involved (e.g., analysis, filtering, classification, clustering, mining, modelling, …), specific attention has to be paid to the way results are provided to the end-user, helping them to benefit from their added value.

Created since: 29/05/15
Associated establishments: CNRS, Université Bretagne Sud
Localisation : Campus of Vannes - UBS



Leader: Rémi GRIBONVAL


Parsimony and New Algorithms for Audio & Signal Modeling

Building upon the rare scientific culture of the former METISS project-team, at the interface between audio modeling and mathematical signal processing, the global objective of the PANAMA project-team is to develop mathematically founded and algorithmically efficient techniques to model, acquire and process high-dimensional signals, with a strong emphasis on acoustic data. Applications fuel the proposed mathematical and statistical frameworks with practical scenarii, and the developed algorithms are extensively tested on targeted applications. PANAMA’s methodology relies on a closed loop between theoretical investigations, algorithmic development and empirical studies.

Created since: : "Pré-équipe" 07/12/12 ; Team 01/01/13
Associated establishments: Inria, Université de Rennes 1, CNRS
Localisation : Campus de Beaulieu, RENNES (35)



Leader: Christine GUILLEMOT

Efficient processing, i.e. analysis, storage, access and transmission  of visual content, with continuously increasing  data rates, in environments which are more and more mobile and distributed, remains a  key challenge of the years to come. The emergence of new image modalities leads to a sustained need for algorithmic tools allowing  efficient compression and communication of large volumes of visual data, of visual features and descriptors extracted for different processing tasks.

Building upon a strong background on signal/image/video processing and  information theory, the goal of the project-team is the design of algorithms and practical solutions in the areas of visual data analysis, modeling, representation, compression and communication. More precisely, the team tackles different theoretical and practical issues of  the visual data analysis, compression, communication and rendering chain, which are complementary and can hardly be addressed separately in networked application scenarios.  Our activities are thus structured around the following  inter-dependent axes:

  • Analysis and modeling for compact representation and navigation in large volumes of visual data
  • Representation and compression of visual data
  • Distributed processing and robust communication of visual data

The proposed research is at the frontier of computer vision, signal processing, coding and information theory. In terms of application  domains, the project will primarily target networked visual  applications such as 3DTV, FTV, camera sensor networks, and medical  imaging applications. However, tools developed for video analysis will find natural applications in visual content editing as well as retrieval, in particular in the context of band-limited networked applications (e.g. mobile retrieval scenarios).

Team created since: 01/01/12
Associated establishments: Inria, Université de Rennes 1, CNRS
Location : Campus of Beaulieu, RENNES (35)



Leader: Christian BARILLOT

VisAGeS U746 research unit is involved in many fields of the international medical research. Every last one of the following issues is addressed in our unit: Medical Imaging, Neuroinformatics, Neuroimaging, Data Fusion, Image processing, Neurological Pathologies, Neurosurgery, Deep Brain Stimulation, Brain Organs and Pathologies Modeling and Management of information in health.

Created since: 04/07/05
Associated establishments: Inria, Université de Rennes 1, CNRS
Location : Campus de Beaulieu, RENNES (35)




Leader: Pierre-François Marteau, PR UBS

Expressiveness in Human Centered Data/Media

EXPRESSION focuses on studying human language data conveyed by different media: gesture, speech and text. Such data exhibit an intrinsic complexity characterized by the intrication of multidimensional and sequential features. Furthermore, these features may not belong to the same representation levels, basically, some features may be symbolic (e.g., words, phonemes, etc.) whereas others are digital (e.g., positions, angles, sound samples) and sequentiality may result from temporality (e.g., signals).

Within this complexity, human language data embed latent structural patterns on which meaning is constructed and from which expressiveness and communication arise. Apprehending this expressiveness, and more generally variability, in multidimensional time series, sequential data and linguistic structures is the main proposed agenda of \team. This main purpose comes to study problems for representing and characterizing heterogeneity, variability and expressivity, especially for pattern identification and categorization.

The proposed research project targets the exploration and (re)characterization of data processing models in three contexts:

Fact following teams:  CORDIAL and SEASIDE
Created since: 13/01/14 Team : 06/02/15
Associated establishments: University of Rennes 1, University of South Brittany (UBS)
Location: Lannion (22) et Vannes (56)


Leader: Kadi BOUATOUCH

Please, consult French page.


Leader: Anatole LÉCUYER

Hybrid research focuses on multiple user inputs, and intends to exploit both motor activity (motion-tracking) and mental activity (brain-computer interfaces). We want to create novel “body-based” and “mind-based” controls of virtual environments, and reach in both cases immersive and efficient 3D user interfaces. We also want to introduce a “hybrid approach” which will mix mental and motor activities in virtual reality. Hybrid applications are in the field of industry (virtual prototyping), medicine (surgical simulation, rehabilitation), design (architectural mock-ups), digital art, or videogames.

Hybrid follows three main axes of research:

  • Body-based interaction in virtual reality (real-time physical simulation of complex interactive phenomena, haptic and pseudo-haptic feedback)
  • Brain-based interaction in virtual reality (3D user interfaces based on brain-computer interfaces and mind-based control)
  • Hybrid and collaborative 3D interaction (Collaborative virtual environments with multiple users, and shared systems with body and mind inputs).
Created since:  01/07/13
Associated establishments: University of Rennes 1, Inria, INSA Rennes
Location: Campus de Beaulieu, RENNES (35)



Leader: Eric ANQUETIL (Professeur INSA Rennes)

The research topics of IntuiDoc concern the written communication and the engineering of documents under various aspects: analysis, recognition, composition, interpretation and also graphical/gestural man-document interaction. This research relates to the handwriting and the documents under different forms: manuscript, printed paper form, pen-based and touch-based interaction, graph, images, heterogeneous documents, etc.

The roadmap of the IntuiDoc team is on the frontier of several research axes: Pattern recognition, Machine-Learning, Human-Machine Interaction, Uses and Digital Learning. The aim is to explore new scientific challenges of the domain of the Human-Document Interaction with a specific focus to interactive, incremental and evolving learning based on the integration of the user in all the processes of analysis and decision making.

Today, four major emerging scientific axes are investigated with strong partnerships with national and international laboratories and companies:

  • “On-line” evolving cross-learning of 2D (touch and pen –based) and 3D gestures (Kinect and Leap Motion);
  • “On-line” analysis of drawing, sketching and handwriting with pen-based tablet for digital learning (e-education);
  • Interactive learning of document structure without ground-truth;
  • Document collection analysis for big-data.

Created since: 07/11/11
Associated establishments: University of Rennes 1, INSA Rennes
Department: D6 Media and interactions
Location: Campus of beaulieu, RENNES (35)


Leader: Guillaume GRAVIER

Creating and exploiting explicit links between multimedia fragmentslogo Linkmedia

The challenge that multimedia faces today is that of context awareness, i.e., describing documents in the context in which they appear (context of a collection, social context, etc.). Following this line of thought, the seminal idea of LinkMedia is that of content-based media linking with the ultimate goal of enabling better multimedia applications and new innovative services. Taking a content-based perspective, we seek to create explicit links at different levels to better reflect the context:
links at the signal level, e.g., with repeating patterns; links at a semantic level, e.g., to follow topics or stories; links at a paradigmatic level, e.g., to have further details or comments on a topic. Pursuing the global objective of context-aware linked media collections, Linkmedia seeks to develop methodological, technological and scientific foundations to create, describe and exploit explicit links within multimedia collections on a large scale.

Fact following team:  TEXMEX
Created team since: 01/07/14
Associated establishments: Inria, Université de Rennes 1, CNRS, INSA Rennes
Location : Campus of Beaulieu RENNES (35)


Leader: Franck MULTON

The MimeTIC research team focuses on designing methods for simulating virtual humans that behave in realistic manners and act with realistic motions. “Realistic” means that a real human would have behave and moved the same way in the same situation. It involves understanding how real people control their motion and behave in order to design models capable of generating realistic virtual humans. The main research axes of MimeTIC target Motion analysis, Autonomous virtual humans, and Physical activity in virtual reality.

Created since: 31/05/13 Team : 01/01/14
Associated establishments: University of Rennes 1, Inria, ENS Rennes
Location: Campus of Beaulieu, RENNES




Leader: David GROSS-AMBLARD & Arnaud MARTIN

DRUID considers models and algorithms for the management and qualification of uncertain, participative, interlinked and large-scale data (social networks, sensor networks, Web streams, crowdsourcing, ...).


Created since: 26/09/2014
Associated establishments: University of Rennes 1
Location : Rennes (35) and Lannion (22)



Leader: Anne SIEGEL

DYnamics, Logics and Inference for biological Systems and Sequences

Dyliss is a research team in bioinformatics. We focus on sequence analysis and systems biology. We use qualitative formal systems to characterize genetic actors from non model species, such as algae or mining baceria, that control phenotypic answers when challenged by their environment.

    Methods: constraint logic programming, symbolic dynamics, machine learning, formal systems.
    Expertise: functional characterization, non-model species, multi-scale integration.
    Application domains: marine biology, micro-environmental biology...

Dyliss means truth in the gaelic language.

Created since: 1er juillet 2013
Associated establishments: Inria, Université Rennes 1, CNRS
Location : Rennes – Campus of Beaulieu



Leader: Dominique LAVENIER

GenScale is a bioinformatics research team. It focuses on methodological research at the interface between computer science and genomic. The main objective of the group is the design of scalable, optimized and parallel algorithms for processing the huge amount of genomic data generated by the recent advances of biotechnologies.

GenScale research activities cover the following domains:

  • Next generation Sequencing (NGS)
    • Fast and low memory footprint assembly
    • Variant extraction on raw data (without assembly)
    • Mapping
  • High throughput sequence analysis
    • Bank to bank comparison
    • Metagenomic sample processing
  • 3D Protein structures
    • Comparison, classification
    • Conformation extraction from NMR data
  • Bioinformatics workflows
    • Graphical capture
    • Parallel processing (cluster, cloud)

This pure computer science activity is maintained with strong collaboration with life science research groups on challenging genomic projects.

Created since: 13/01/14 Team : 06/02/15
Associated establishments: University of Rennes 1, Inria, CNRS, ENS Rennes
Location: Campus de Beaulieu - Rennes


Leader: Alexandre TERMIER (UR1)

Large Scale Collaborative Data Mining

The objective of the LACODAM team is to considerably facilitate the process of making sense from large quantities of data, either for deriving new knowledge or for taking better actions. Nowadays, this process is mostly manual, and relies on the analyst understanding of the domain, the data at hand and a plethora of complex computational tools. We envision a novel generation of data analysis approaches where the many different ways of discovering structure in data are automatically explored, and only the most relevant structures are shown to the analyst. Such notion of relevance is highly dependent on domain knowledge and analyst’s own knowledge: such knowledge will be central to our approach. The solutions we envision requires to bridge data mining techniques with artificial intelligence approaches, both for taking knowledge into account in a principled way, and to introduce automated reasoning techniques in knowledge discovery workflows. Moreover, in order to acquire as much knowledge as possible, we will investigate community-based approaches, designed for communities of analysts and practitioners working on a given domain, sharing datasets, knowledge and results, and giving feedback.

Fact following team : DREAM
Created since: 1/01/16
Associated establishments : Inria, Université de Rennes 1, INSA Rennes
Location : Campus de Beaulieu, RENNES (35)



Leader: Sébastien FERRÉ (Univesité de Rennes1)

SemLIS = Semantics, Logics, and Information Systems (for Data-User Interaction)

The main objective of the SemLIS team is to bring back to users the power on their data. It aims at facilitating data-user interaction by making users more autonomous and agile, by providing flexibility and expressivity, and yet control and confidence in the information system. It should support users in the semantic representation of heterogeneous data, and in the collaborative acquisition of domain knowledge. The scientific foundations of the team are logics and formal languages for knowledge representation and reasoning, the Semantic Web, information systems, natural language processing, symbolic data mining, and user-data interaction. A key idea is to reconcile the power of formal languages and the usability of natural language and interaction. On the application side, the focus will be put on social sciences and on business intelligence.

Fact following team:  LIS
Created since: 16/09/2016

Associated establishments: Université Rennes 1, INSA Rennes

Location : Campus of Beaulieu, RENNES (35)



Leader: Olivier PIVERT
Shaman (ex Pilgrim) is the acronym of “A Symbolic and Human-centric view of dAta MANagement”.

Research axis:

  • Modeling/integrating imperfect data
  • Understanding data (Data summaries, database clustering, data analytics)
  • Querying data in a flexible way (Preference queries, Bipolar fuzzy queries, Implementation, fuzzy query optimization, Flexible querying of graph databases)
  • Cooperative answering (Obviating empty/plethoric answer sets, Providing enriched answers)

Shaman is a research team of the Data and Knowledge Management (DKM) department of IRISA.

Fact following team:  PILGRIM
Created since: 01/01/14
Associated establishments: Université de Rennes 1, CNRS
Location : Campus of LANNION  (ENSAAT)



Located in Lannion (Brittany, France) at the facilities of the ENSSAT.