INRIA Sophia-Antipolis

INRIA Projects for Which There Is

Common Interest at Vanderbilt:

(Each project description includes names of Vanderbilt faculty working in similar areas, whose students would be likely to collaborate with the team at INRIA.) 

 

Project CAIMAN

Scientific Computing, Modeling and Numerical Analysis

 

This project aims to propose new, efficient solutions for numerical simulation of physical phenomena related to electromagnetism and complex flows in interaction (fluid-structure interactions, epitaxy, etc.). Scientific activities span a wide range, from physical modeling to design and analysis of numerical methods. A particular emphasis is put on their validation on realistic configurations and their algorithmic – possibly parallel – implementation.

 

Serge Piperno, INRIA

Akram Aldroubi, Douglas Hardin, Vanderbilt University

 

 

Project CALLIGRAMME

Linear Logic, Proof Networks and Categorial Grammars

 

The object of Project Calligramme is the development of tools and methods stemming from proof theory, especially linear logic. Two fields of applications are emphasized: in computational linguistics, the modeling of the syntax and semantics of natural languages; in software engineering, the study of the termination and complexity of programs.

 

Research themes include proof nets, sequent calculus, and typed lambda-calculi; categorial grammars; and implicit complexity of computation.

 

Philippe de Groote, INRIA

Constantine Tsinakis, Vanderbilt University

 

 

Project COMORE

Modeling and Control of Renewable Resources

 

The endeavor of COMORE is to develop and apply methods from control theory (feedback control, estimation, identification, optimal control, game theory) and from the theory of dynamical systems to the mathematical modeling of renewable resources and their management.

 

Jean-Luc Gouze, INRIA

Mary Ann Horn, Vanderbilt University

 

 

Project EPIDAURE

Medical Imaging and Robotics

 

This project aims to develop new tools in medical imaging and robotics. Images studied include anatomical and functional images from conventional radiology, X-Ray Computed Tomography (CT), Magnetic Resonance Imaging (anatomical, functional and angiographic MRI), Isotopic Imaging (Spect and PET), Ultrasound Imaging, Histology Imaging, and Monocular and Stereoscopic Video Imaging.

 

Nicolas Ayache, INRIA

Akram Aldroubi, Douglas Hardin, Vanderbilt University

 

 

Project GALAAD

Geometry, Algebra, Algorithms

 

Project GALAAD focuses on effective algebraic geometry and its applications. The objective is to develop algorithmic methods that will allow researchers to solve efficiently and in a certified manner the geometric and algebraic problems arising in such domains as CAD, robotics, computer vision, computational biology, etc. The group is interested in analyzing such methods in terms of complexity, as well as in studying their quality in the context of the interaction between symbolic and numeric computation.

 

Bernard Mourrain, INRIA

Marian Neamtu, Mark Sapir, Larry Schumaker, Vanderbilt University

 

 

Project MAIOU

Mathematics and Computing in Automatic Control and Optimization

 

This team develops effective methods for modeling, identification and control of systems, along with algorithms for dynamic games solving. Research themes include:

  • Meromorphic and rational approximation in the complex domain, application to identification of transfer functions and matrices, as well as singularity detection for 2-D Laplace operators;
  • Development of the hyperion software for frequency domain identification and synthesis of transfer matrices;
  • Control and structure of non-linear systems: continuous stabilization, non-linear transformations (linearization, classification);
  • Dynamic games with multiple players; and
  • Numerical schemes for solving the Hamilton-Jacobi equation.

 

Laurent Baratchart, INRIA

Edward Saff, Vanderbilt University

 

 

Project OPALE

Optimization and Control, Numerical Algorithms and Integration of Complex Multi-discipline Systems Governed by Partial Differential Equations

 

The goals of this team are to:

  • Mathematically analyze single or multi-disciplinary coupled systems of partial differential equations arising from physics or engineering in view of their optimization or control (geometrical optimization);
  • Construct and experiment with efficient numerical approximation methods (coupling algorithms, model reduction) and optimization algorithms (gradient-based and/or evolutionary algorithms, game theory); and
  • Develop software platforms for the distributed parallel computation of the related discrete systems.

Application problems include multi-disciplinary optimum shape design of an aircraft wing (in collaboration with Dassault Aviation), functional optimization of a rocket system (in collaboration with CNES), and optimization of antenna systems (in collaboration with France Télécom).

 

Jean-Antoine Desideri, INRIA

Mary Ann Horn, Vanderbilt University