Sites Inria

There are 11 Results with the keyword : "Programming"

Logo_indian_summit

India-France

France-India Technology Summit 2013

Laurence Hermant - 17/10/2013

The India-France Technology Summit to be held in New Delhi on October 23 and 24 is an opportunity for Inria to intensify contacts and opportunities of collaboration with India. The Institute will participate under different modes: demonstration of technologies, organization and participation in round tables, presentation of work and activities on its booth. 

Keywords:

Home > News > News from Inria > Sommet technologique franco-indien 2013

More

Gilles Dowek © Inria / Photo S. Tetu - La Company

Research Director

Gilles Dowek

16/11/2010

Gilles Dowek has been appointed Deputy Scientific Director, replacing Hélène Kirchner. He takes charge of the "algorithms, programming, software and architectures" field.

Keywords:

Home > News > News from Inria > Gilles Dowek

More

Didier Rémy © Inria / Photo G. Scagnelli Didier Rémy - © Inria / Photo G. Scagnelli

Fields of research

Algorithmics, Programming, Software and Architecture

This field is at the core of programming and computer systems. Technology developments,such as the development of multicore processors and pervasive computing, raise new scientific challenges for experts in algorithms, languages and software architectures. Their common goal is to achieve control over the reliability and security of programs and data exchanges.

Researchers are studying and certifying the reliability of embedded systems in avionics, automotives and now portable devices such as mobile phones and personal digital assistants, which have limited computing resources. They are also interested in the reliability of web services and in the security of data exchanges using cryptography techniques that also need to be certified, while at the same time addressing privacy issues. The teams are producing specification, programming, testing and proof environments, program analysis and verification tools, certified compilers, as well as cryptography and cryptanalysis methods.

Keywords:

Home > Research > Research fields > Five fields of research > Algorithmique, programmation, logiciels et architectures

More

© INRIA Sophie Auvin - L comme Langage

Séminaire des équipes de recherche

Séminaire Lifeware

14/04/2015

Place : Inria Paris - Rocquencourt - Building 8

Guest(s) : Damien Woods, CalTech, USA

Keywords:

Home > Centre > Paris > Calendar > Séminaire Lifeware

lire la suite

© INRIA Sophie Auvin - L comme Langage

Séminaire des équipes de recherche

Séminaire Lifeware

2/11/2015

Place : Salle Verte1, Inria Italie

Guest(s) : Prof. Nicolas Beldiceanu, EPI TASC, Ecole des Mines de Nantes

Keywords:

Home > Centre > Paris > Calendar > Séminaire Lifeware

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

29/02/2016

Place : Salle de réunion Jacques-Louis Lions 1, bâtiment C - 10h30

Guest(s) : Matthias Puech (Inria Saclay)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

Laboratoires Communs Chercheurs © INRIA / Photo C. Dupont

Shared laboratories

Promoting upstream research with industry

Inria places great importance in the transferring of its research to benefit industry. This process has a major impact on the economy and also, in general terms, society. In order to promote research upstream with industry, the institute has created a system of shared laboratories with long-standing partners. These laboratories have been created with a view to removing technological barriers on major, well-defined subjects. Each partner dedicates significant human resources. 

Keywords:

Home > Research > Research teams > Inria Joint Labs

More

Event

Pharo Days 2017

18/05/2017 to 19/05/2017

The Pharo core team organizes a Pharo Conference hosted at Inria Lille Nord Europe research center from 18th to 19th May, in the auditorium.

Place : Amphi de l'Inria Lille - Nord Europe

Keywords:

Home > Centre > Lille > Calendar > Pharo Days 2017

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

6/06/2017

Place : Inria de Paris, 2 rue Simone Iff, Salle Jacques-Louis Lions 2, bâtiment C

Guest(s) : Jean Yang, Carnegie Mellon University

Keywords:

Home > Centre > Paris > Calendar > Séminaire Prosecco

lire la suite

Mobile video. Hi-res digitally generated image. © Cybrain #23311646 © Cybrain

Scientific award

Laying the theoretical foundations for web programming

Françoise Breton - 29/05/2013

A researcher at the French National Centre for Scientific Research (CNRS) and a member of the TYREX team, Pierre Genevès has been awarded the CNRS Bronze Medal for his applied theoretical work designed to improve the performance and reliability of web applications.

Keywords:

Home > Centre > Grenoble > News > Donner les bases théoriques à la programmation web

More

Top