Inria - Institut national de recherche en sciences et technologies du numérique
Nos dernières publications
Le bégaiement : définition, description, défis
Le bégaiement est un trouble de la fluence qui se caractérise par des interruptions momentanées et involontaires du flux de parole. Ces altérations de la chaine parlée prennent la forme de
A multi-scale model hierarchy for material flow problems
The material flow problems under consideration are inspired by real experiments and allow for a multi-scale model hierarchy description.
Une minute avec Simon Dutour
Simon Dutour est chargé de prévention au sein du Centre Inria de l’université deBordeaux.
Designing and Building Adaptive Genetic Control Systems
Adaptation is a recurring theme in biology, offering vital survival mechanisms in dynamic environments through precise regulation of physiological variables. This talk dives into the intriguing
Une minute avec Aymeric Ferron
Aymeric Ferron est doctorant dans l'équipe-projet Inria Biwac
Agir pour la mise en accessibilité numérique, tous concernés !
En France, l’accessibilité numérique des sites internet et des applications est loin d’être une réalité.
Intérêt du partenariat Parents-Professionnels dans l’Education Inclusive : Apport des méthodes part…
Les enfants et adolescents avec troubles neurodéveloppementaux, et notamment avec un TSA (Trouble du spectre de l’autisme) rencontrent encore de grandes difficultés à être scolarisés en milieu
Le projet dnarXiv : Stockage de données sur des molécules d'ADN
Dominique Lavenier, Elsa Dupraz, Julien Leblanc et Gouenou Coatrieux nous présentent le projet dnarXiv, un projet porté par le LabEx CominLabs qui explore le stockage de données sur des molécules d
Projection methods for community detection in complex networks
Community detection is one of most prominent tasks in the analysis of complex networks such as social networks, biological networks, and the world wide web. A community is loosely defined as a group
Une minute avec Lucas Joseph
Lucas Joseph est ingénieur de recherche au sein du service Expérimentation et développement (SED) du Centre Inria de l’université de Bordeaux.
DYOGENE/ERC NEMO 2023 : Seminar series
- LACHIèZE-REY Marc
- BELHADJI Ayoub
- FRICKER Christine
- FENG Ke
- ROBERT Philippe
- DHANDAPANI Yogeshwaran
- DORT Léo
- MCDONALD David R.
- KONSTANTOPOULOS Takis
- TORRISI Giovanni Luca
- BOWEN Lewis
- GAUBERT Stéphane
- O'REILLY Eliza
- TIMáR Ádám Dávid
- ANANTHARAM Venkat
- KHEZELI Ali
- BUDZINSKI Thomas
- CASTIEL Eyal
- SALEZ Justin
- MITSCHE Dieter
- LOUF Baptiste
- SOPRANO LOTO Nahuel
- KIRCHNER Matthias
- MELLICK Samuel
- niveau 1 niveau 2 niveau 3
- document 1 document 2 document 3
A Cost-Aware Logical Framefork
The computational view of intuitionistic dependent type theory is as an intrinsic logic of (functional) programs in which types are viewed as specifications of their behavior. Equational reasoning is
Intervenants et intervenantes
Docteur en informatique (Paris 11, 1985)
Directeur de recherches à l'Inria et à l'ENS Paris, membre du collège de l'Arcep (en 2022)
Doctorat de mécanique ; directeur de thèse en Automatique et productique à Grenoble Alpes en 2015
enseignant chercheur au Département d'Informatique de l'Université de Reykjavik en 2011
Ph. D. (Université de Cambridge, 1977)
Mathématicien. En poste au Department of statistics, University of California, Berkeley, California, USA (en 1985)
Chargé de recherche en informatique à l'INRIA. Membre du "Laboratoire de l'informatique du parallélisme" de l'Ecole Normale Supérieure de Lyon (en 2024)
Thèmes de recherche : Parallélisation automatique. Synthèse de circuits haut-niveau pour FPGAs. Compilation polyédrique et extensions. Outils pour la compilation polyédrique
Professeur à la faculté EECS (Electrical Engineering and Computer Science) de l'Université de Berkeley (2019)
Chercheur en Informatique
Docteur en Sciences (Université Paris-Dauphine, 2013)
Chercheur à l'INRIA Grenoble-Rhone-Alpes en 2020
Auteur d'une thèse en Mathématiques appliquées et calcul scientifique à Bordeaux en 2022
Mathématicien, informaticien. Directeur de recherche CNRS (DR1), professeur attaché, membre de l'équipe Statistical machine learning and parsimony (SIERRA), Département d'informatique (DI-ENS, UMR 8548), École normale supérieure, Paris (en 2024)
Doctorat en mathématiques appliquées (École polytechnique, Palaiseau, Essonne, 2003). Doctorat (PhD) en gestion et en ingéniérie (Stanford university, 2004). Habilitation à diriger des recherches à l'École normale supérieure, Cachan, Val-de-Marne (2012)