Sites Inria

Il y a 2 Résultats avec le mot clé : "Equipe Gallium"

Umud Acar - Inria

Portrait

Chercheurs d'ici et d'ailleurs : Umut Acar

25/04/2014

Umut Acar a grandi en Turquie, avant de prendre le chemin des États-Unis pour y étudier le parallélisme informatique*. Aujourd'hui, à 39 ans, il partage son temps entre ses activités d'enseignement à l'université Carnegie Mellon, à Pittsburgh, et un projet de recherche chez Inria, financé par l'European Research Council .

Mots-clés :

Accueil > Centre > Paris > Actualités > Chercheurs d'ici et d'ailleurs : Umut Acar

Lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipe de recherche

RustBelt: Securing the Foundations of the Rust Programming Language

18/12/2017

Rust is a new language developed at Mozilla Research that marries together the low-level flexibility of modern C++ with a strong "ownership-based" type system guaranteeing type safety, memory safety, and data race freedom. Unfortunately, none of Rust's safety claims have been formally investigated, and it is not at all clear that they hold.

Lieu : Inria de Paris - 2 rue Simone Iff - Salle Lions 1, bâtiment C

Intervenant(s) : Jacques-Henri Jourdan

Mots-clés :

Accueil > Centre > Paris > Agenda > RustBelt: Securing the Foundations of the Rust Programming Language

lire la suite

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !