Contents

Focus

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

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

Award

Patrick Valduriez named ACM Fellow

Nathaly Mermet, Technoscope - 13/12/2012

The prestigious distinction from the Association for Computing Machinery (ACM) was recently awarded to a French national for the third time. This is a major honour for Patrick Valduriez, Senior Researcher at Inria and leader of the Zenith joint project-team with LIRMM* in Montpellier.

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

Inria & SME - Publication

Innovate through the digital sciences - Connect n° 3

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!

Inria Industry Meeting

Numerical Simulation for Healthcare and Wellbeing, from Cell to Virtual Patient

6/07/2012

Nowadays, virtual reality becomes more and more engrained in our everyday lives, both personal and professional, in the form of games, motion pictures, simulators and more. Simulation is now often an important part of the training for people of different professions. Methods for representing artificial or augmented environments are being constantly improved. Researchers also keep developing even more precise models, now closely approaching the living world. This modeling work is carried out on a multi-scale level, taking into account a wide range of parameters. These resulting models can thus be adapted and applied to a specific environment, application, topic or theme, and thus to the patient.

Direct links

Please note

Inria Awards 2012

Pierre-Louis Lions : Grand Prize Inria

Isabelle Bellin -

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

Inria Awards 2012

Young researcher Inria award: Francis Bach

Isabelle Bellin -

Find out more

Inria Awards 2012

Paul-Louis George : Inria - Dassault Systèmes 2012 Innovation Award winner

Françoise Breton -

Team leader of the Gamma3 project team (Inria, Troyes University of Technology), Paul Louis George is one of the inventors of the GHS3D volume mesh, a software used throughout the world by players in the industry, researchers and academics. Integrated in several software for 3D calculations by finished elements, GHS3D helps obtain simulations which are particularly reliable and high performing. A success based on teamwork undertaken over the long term and which is now being rewarded with the innovation award.

International programmes

The "Internships" programme

Direct links

Please note

Inria & SME - Publication

Innovate through the digital sciences - Connect n° 3

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.

Search results for : "Hoare logic"

Home > Search results

There are 1 Results with the keyword : "Hoare logic"

Demo showroom

Frama-C, a toolbox for verification of C software

Frama-C allows users to combine numerous static analysis techniques, from verification of coding rules to analysis through abstract interpretation, and the verification of functional specifications thanks to the principles of the deductive approach to program verification. The targeted domains are critical embedded software, implementations of cryptographic libraries, and security.

Keywords:

Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > Frama-C, une boîte à outils pour la vérification de logiciels en C

Top

Pierre-Louis Lions : Grand Prize Inria

Young researcher Inria award: Francis Bach

Marie Doumic-Jauffret: modelling amyloidosis

Metadata for a better understanding of the past

Patrick Valduriez named ACM Fellow

The "Internships" programme

Innovate through the digital sciences - Connect n° 3

Numerical Simulation for Healthcare and Wellbeing, from Cell to Virtual Patient

Pierre-Louis Lions : Grand Prize Inria

Young researcher Inria award: Francis Bach

Paul-Louis George : Inria - Dassault Systèmes 2012 Innovation Award winner

The "Internships" programme

Innovate through the digital sciences - Connect n° 3

Strategic partnerships with large industrial players

There are 1 Results with the keyword : "Hoare logic"

Frama-C, a toolbox for verification of C software

Keywords:

Inria Headquarters and research centres

Direct links

Social