Sites Inria

There are 7 Results with the keyword : "programmation"

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

Research Department

Didier Rémy, Deputy Scientific Director

Didier Rémy is Deputy Scientific Director in charge of research in 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.

Keywords:

Home > Institute > Organisation > Deputy scientific directors > Didier Rémy

More

Equipe Recherche

Rencontre avec Mazyar Mirrahimi, responsable de l'équipe Quantic

6/03/2014

Nous avons rencontré Mazyar Mirrahimi, responsable de l'équipe Quantic (QUANTum Information Circuits) créée le 1er janvier 2014.

Keywords:

Home > Centre > Paris > News > Rencontre avec Mazyar Mirrahimi, responsable de l'équipe Quantic

More

Fête de la science 2014

Fête de la science 2014

9/10/2014 to 11/10/2014

Du 9 au 11 octobre, l'UPMC, le Museum National d'Histoire Naturelle et l'Université Paris-Sorbonne installent le Village des Sciences Sorbonne Universités sur le campus Jussieu ! Petits et grands pourront manipuler, échanger avec des femmes et des hommes passionnés de science, faire connaissance avec les métiers de la recherche et découvrir les coulisses des laboratoires de chimie, physique, biologie, informatique-ingénierie, sciences de la terre, archéologie, histoire, etc.

Place : UPMC, 4 place Jussieu 75252 Paris cedex 05

Keywords:

Home > Centre > Paris > Calendar > Fête de la science 2014

lire la suite

© Inria / Photo G .Scagnelli

Inria Awards 2016

Marc Pouzet : Inria – French Académie des sciences – Dassault Systèmes Innovation Award

Citizen Press - 21/11/2016

Winner of the Inria – Académie des sciences – Dassault Systèmes Award for Innovation, Marc Pouzet is a specialist in synchronous languages. His research concerns the design, semantics and implementation of programming languages to be used in embedded systems. Among other things, his research has led to the development of SCADE KCG 6, a language and environment used to make critical software for aircraft and trains.

Keywords:

Home > Institute > Inria in brief > Inria Awards > 2016 Prize Winners > Marc Pouzet : Prix de l’Innovation

More

© Inria / Photo G .Scagnelli

Inria Awards 2016

Karthikeyan Bhargavan : Inria–French Académie des sciences Young Researcher Award

Citizen Press - 21/11/2016

Karthikeyan Bhargavan, an Inria director of research specialised in the security of data exchanges on the Internet, has just received the Inria Young Researcher Award. This latest award comes in recognition of his excellent knowledge of programming languages, Internet protocols and cryptography. He has followed an unusual career to acquire this interdisciplinary expertise.

Keywords:

Home > Institute > Inria in brief > Inria Awards > 2016 Prize Winners > Karthikeyan Bhargavan : Prix du jeune chercheur

More

Education

The first Class'Code experiments are underway!

Léa Angeli et Laurence Goussu - 21/04/2016

What is this project about? Class'Code is a pioneering training programme aiming to give education and computing professionals the resources needed to introduce, as of autumn 2016, schoolchildren aged 8 to 14 to concepts in Computer Science. 

Keywords:

Home > News > News from Inria > Class'Code : les premières expérimentations démarrent !

More

Best paper

Best paper / International Colloquium on Automata, Languages, and Programming (ICALP)

11/05/2017

Pierre Bourhis, researcher in the project team Links (shared with the CNRS, Lille University - Science and Technology and the University of Lille - Social and Human Sciences *), received the Best Paper Award Of track B of the 44th ICALP conference to be held next July in Warszawa, Poland.

Keywords:

Home > Centre > Lille > News > International Colloquium on Automata, Languages, and Programming (ICALP)

More

Top