Revision as of 18:59, 10 January 2018 by Daniela Becker (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This page quickly presents the areas of expertise of the LRDE. For more detailed information, please go to the projects page.

The activities of LRDE cover two main areas of research:

  • « Image processing and pattern recognition » and
  • « Automata and verification »

with a transverse research axis « Performance and genericity ».

Each main area, or theme, is divided into two fields.

Theme 1: Image processing and pattern recognition

Image processing

Image processing at LRDE consists mainly of writing morphological algorithms. The principal fields of application are document image analysis and medical image processing. The state of the art of these elements as well as all the results of the Image-team's research have been integrated in Olena, a high performance generic image processing library.

Theme 2: Automata and verification

Formal verification

LRDE's Automata-team develops automata on infinite words (ω-words) used for formal verification or model checking. The Spot library has been designed for this.

Transverse research axis

A common underlying problem of all the projects LRDE members work on is how to reconcile two aspects usually contradictory: performance and genericity.