There are 6 Results with the keyword : "Research team"
One of Inria's fundamental tasks is to transfer research skills and results to industry. Inria encourages and supports projects to transfer technology from its research teams to industrial partners with the aim of enhancing the impact of research on society as a whole, supporting business innovation, and developing regional economies.
The extension of the Alan Turing building, headquarters of the Inria Saclay - Île-de-France research center, was inaugurated on Tuesday 14 February 2017. After 2 years of construction, the building now extends over 12,000 m² and has more than 120 news offices, a FIT IoT-Lab wireless sensor platform or a 130-seat amphitheater.
Resarch team 's seminary
Static analyses aim at inferring semantic properties of programs. While many analyses compute an over-approximation of reachable states, some analyses compute a description of the input-output relations of programs. In the case of numeric programs, several analyses have been proposed that utilize relational numerical abstract domains to describe relations.
Place : Inria de Paris- 2 rue Simone Iff- 75012
Guest(s) : Hugo Illous- ENS
Research team 's seminary
We present the design of a new functional programming language, MLTS, that possesses built-in mechanisms for treating data structures that include bindings.
Place : Inria Paris - 2 rue Simone Iff- 75012 - Paris- Salle Lions 1- bâtiment C
Guest(s) : Ulysse Gérard ( Inria Saclay)
Research team seminary
Connected and Automated Vehicles (CAVs) offer tremendous benefits for road safety and traffic efficiency. In this talk, I will give an overview of the research challenges in securing CAVs. Then, I will present some work-in-progress on misbehavior detection in CAVs.
Place : Inria de Paris - 2 rue Simone Iff - 75012 - Paris
Guest(s) : Jonathan Petit
Research team seminar
Standard libraries of programming languages provide efficient implementations for common data containers. The details of these implementations are abstracted away by generic interfaces which are specified in terms of well understood mathematical structures such as sets, multisets, sequences, and partial functions. The intensive use of container libraries makes important their formal verification.
Place : Inria de Paris - 2 rue Simone Iff 75012- Batiment C - Salle Jacques Louis Lions
Guest(s) : Raphaël Cauderlier