Scientists
Businesses

Contents

Focus

© Collège de France / Photo Patrick Imbert

Inria Awards 2012

Pierre-Louis Lions : Grand Prize Inria

Isabelle Bellin -

The scientific influence of Pierre-Louis Lions, an exceptionally gifted and active mathematician, covers the worlds of academe, industry and commerce. For 30 years, he has generated highly original ideas in numerous domains such as mathematics, physics, economics, and industrial digital simulation. His theories have been adopted by many scientists, both theoretical and applied mathematicians.

Francis Bach - © Inria / Photo J.M. Ramès

Inria Awards 2012

Young researcher Inria award: Francis Bach

Isabelle Bellin -

A trained mathematician, Francis Bach has become an internationally acknowledged specialist in the field of statistical machine learning. A field he has been boldly exploring for some ten years now. His research at the interface between applied mathematics, statistics, and computer science finds applications in an impressive variety of domains, such as artificial vision, processing of audio signals, bioinformatics, and cerebral imaging.

Contents

Please note

Marie Doumic-Jauffret - © Inria

European Research Council 2012

Marie Doumic-Jauffret: modelling amyloidosis

Technoscope - 17/10/2012

Marie Doumic-Jauffret is one of 4 Inria candidates selected in the young researcher category for the ERC European call for projects 2012. Her project, called Skipper, aims to improve understanding of amyloidosis, a group of diseases that includes prions and Alzheimer’s, in order to help biologists identify therapeutic solutions.

Focus

© CNRS Photothèque / Christophe Lebedinsky

European project

Metadata for a better understanding of the past

Laure Guion - 26/10/2012

2014 marks the centenary of the First World War. But how can such an event be commemorated when the relevant historical resources are scattered throughout the whole of Europe and historians have not yet been able to conduct an exhaustive study of all of them? Laurent Romary explains how, with the CENDARI project, computational sciences can provide a solution to this problem and come to the aid of all social sciences.

Contents

Focus

Ivan Laptev - © Inria

European Research Council 2012

Ivan Laptev: Advancing Computer Vision

Technoscope - 27/09/2012

Ivan Laptev is one of the four INRIA candidates selected for a European Research Council (ERC) grant in the young researchers category 2012. His subject, “Computer Vision”, aims to mimic the human visual system thanks to algorithms that analyse motion, detect events and recognise objects in video sequences. He explains his work to us in more detail and outlines some potential applications.

International programmes

The "Internships" programme

Each year, Inria welcomes students from all over the world for a research training experience through the Internships programme. Undergraduate, masters or PhD students come and spend a few months in an Inria research team. Two students, Michail Zervos and Nadia Khalfa, talk about their successful experience and offer advice to all those who may be interested in the Internships programme.

Feature

Focus

Web

W3C chooses Inria to open its France office

The World Wide Web Consortium (W3C) is opening an office in France, to be hosted by Inria, in order to consolidate its relations with industry and with other participants in the French ecosystem. The new office is to develop and coordinate the community of French W3C members.

Inria & SME - Publication

Innovate through the digital sciences

Discover CONNECT, the magazine for SMEs seeking innovation through the digital sciences, and get access to ICST news, updates on the state of research and applied technology for industry, portraits of partners who have participated in Inria research teams working with innovative SMEs, special reports and other features. Come on, CONNECT!

Direct links

Please note

© ALMA / ESO / NRAO / NAOJ

Partnership

ALMA, the world’s largest radio telescope project

Céline Acharian - 22/12/2011

Inria and ALMA (Atacama Large Millimeter / submillimeter Array), alongside the CNAM (Conservatoire National des Arts et Métiers, the French National Academy for Arts and Crafts), are working together to design the man-machine interfaces that will control the revolutionary radio-telescope currently being built in the Atacama desert, to the north of Chile.

Frank Cappello - © Inria Photo Jim Wallace

Inria-Urbana champaign

Productive partnership for high performance computing

30/09/2011

As the fifth workshop of the Inria-Urbana-Champaign joint lab (Joint Laboratory on Petascale Computing-JLPC) came to an end in Grenoble, Franck Cappello, its co-director, took stock of the activities of this institution dedicated to high-performance computing. Two years after its creation, it was now time to review its most emblematic results and to present its current research on climate and the international G8 Exascale project, with which the joint laboratory is associated.

Find out more

© Inria / Photo Kaksonen

European Research Council 2011

Dale Miller: “Making proof universal”

Sophy Caulier - 9/01/2012

As the beneficiary of an ERC Advanced Grant for experienced researchers, Dale Miller has embarked on the difficult path of establishing proof. His aim? In this field, which is highly abstract but which has a definite impact on the real world, he wishes to standardise proof systems and issue certificates for such systems in order to promote greater confidence in them.

International programmes

The "Internships" programme

Each year, Inria welcomes students from all over the world for a research training experience through the Internships programme. Undergraduate, masters or PhD students come and spend a few months in an Inria research team. Two students, Michail Zervos and Nadia Khalfa, talk about their successful experience and offer advice to all those who may be interested in the Internships programme.

Direct links

Please note

Inria & SME - Publication

Innovate through the digital sciences

Discover CONNECT, the magazine for SMEs seeking innovation through the digital sciences, and get access to ICST news, updates on the state of research and applied technology for industry, portraits of partners who have participated in Inria research teams working with innovative SMEs, special reports and other features. Come on, CONNECT!

Find out more

Technology Transfer at Inria

Strategic partnerships with large industrial players

The strategic partnerships that Inria establishes are long-term bilateral partnerships with large industrial groups, formalized in a framework agreement. A research program is developed jointly by Inria and its partner based on the industrial player’s proposed priority topics. Research projects, fitting into this program, are then developed jointly by Inria’s teams and the partner. In addition, a steering committee and a scientific committee ensure that the collaboration is consistent and runs smoothly.

Home > Research > Research teams > Algorithmics, Programming, Software and Architecture > Algorithms, Certification, and Cryptography > ARIC

Presentation
HAL publications

ARIC Research team

Arithmétiques des ordinateurs, méthodes formelles, génération de code

Team presentation

The overall objective of AriC is, through computer arithmetic, to improve computing at large, in terms of performance, efficiency, and reliability.

Research themes

Hardware and reconfigurable arithmetic Floating-point computing Exact and multiple precision arithmetic Computer algebra Complexity issues Numerical validation Euclidean lattices and applications

International and industrial relations

ST Microelectronics, Kalray, Intel

Keywords: Computer arithmetic; floating-point; computer algebra; numerical validation; Euclidean lattices

Research teams of the same theme :

Contact

Team leader
Florent De Dinechin (See all teams)
Tel.: +33 4 72 72 85 03

Secretariat
Tel.: +33 4 72 72 84 32

Find out more

Genealogy

This team follows

ARENAIRE

See also

ARIC team publications

Search for a team

By Inria research center

By field