IRMAR: Real algebraic geometry, symbolic computation and complexity

Real Algebraic Geometry,
Symbolic Computation and Criptography

Research group of IRMAR. (UMR 6625 of CNRS)
Campus de Beaulieu, 35042 Rennes cedex, France.
Phone. +33 2 23 23 66 67 ; Fax. +33 2 23 23 67 90.

Version française
Research topics
Collaborations
Presentation
Real Algebraic Geometry Seminar
Symbolic Computation and Complexity Seminar
Cryptography Seminar

Other groups
Numerical Analysis
Partial Differential Equations
Mechanics
Algebraic Geometry
Analytic Geometry
Stochastic Processes
Ergodic Theory
Statistics

Members of the group:

Head : Sylvain Duquesne

Professors : Michel Coste, Sylvain Duquesne, Marie-Françoise Roy, Felix Ulmer

Associate Professors : Karim Bekka, Delphine BoucherGoulwen Fichou, Alain Herreman, Zoubida Jadda (INSA), Ronan Quarez.

Researchers (DGA-CELAR) : Reynald Lercier, Pierre Loidreau, David Lubicz, Thomas Sirvent.

Ph.D. students:  Sabine Burgdorf (codirection with Univ. Konstanz), Lionel ChaussadeClément Dunand, Nicolas Guillermin,  Matthieu Legeay, Seydou Moussa (codirection with Université de Niamey), Noura Okko, Fabien Priziac.

Post-doc : Daniel Perucci (sept-dec. 2010).

Former members of the group: Louis Mahé (retired), Markus Schweighofer (Professor, Universität Konstanz).

Recent PhD's: Ali Ayad (October 06),  Colas Bardavid (June 2010), Kartoué Mady Demdah (July 2009 - codirection with Universita di Pisa, Italy),  Oumar Diao (July 2010 - codirection with Université de Dakar), Richard Leroy (December 08), Valéry Mahé (October 06), Seydou Moussa (December 09 - codirection with Université de Niamey), Adamou Otto (December 09 - codirection with Université de Niamey), Thomas Sirvent (October 08), Luis Felipe Tabera (July 07- codirection with Universidad de Cantabria, Spain).




Research topics :
  • Semialgebraic and subanaytic geometry
  • Real singularities
  • Algorithms in real algebraic geometry
  • Positivity, sums of squares
  • Differential Galois theory. 
  • Hamiltonian mechanics
  • Cryptography
  • Error-correcting codes
  • Robotics 
  • Epistemology and history of mathematics



Collaborations :

In France

International



Presentation of the group:

The activity of the research group has been for many years focussed on real algebraic geometry and Rennes is a recognized centre in this theme. Four young associate professors or researcher got professor positions in other universities in the recent years. The study of algorithms in real algebraic geometry initiated the development and the diversification of the activities in symbolic computation. This led to scientific contacts with researchers in cryptography at CELAR, now associate researchers in IRMAR; the development of this research theme and the hiring of a professor working in this domain allowed to launch a master curriculum in mathematics of information and cryptography. Our group also hosts activities in history of mathematics.

The resarch activities are intere related with the ones of the other groups in geometry. The strong points of our group are essentially :

  1. Real geometry, and specifically real singularities

    • The study of real singularities offers many interesting and difficult questions and is very active now ; a central theme is the study of the real Milnor fibers, smooth pertubations of the singular object carrying carrying relevant information on it; this is the subject of the ANR contract SIRE (Real singularities) headed by Rennes.

    • Real singularities are also important for applications, such as robotics. Rennes is part of an ANR contract SIROPA (Singularities of parallel robots) headed by the Ecole Centrale in Nantes.

  2. Cryptography and error-correcting codes
    • Public key cryptography is widely used in everyday's life. and the systems based on elliptic curves are now well-known. Hyperelliptic curves offer interesting perspectives. The study of their possible use for cryptography is the subject of the ANR contract CHIC (Hyperelliptic curves, isogeny and point counting) headed by Rennes.
    • Non commutative algebra offers new ways to construct interesting error correcting codes. This is developed in the project « skewcode » .


IRMAR home page Last update: January 24th, 2011