Inria - Institut national de recherche en sciences et technologies du numérique
Nos dernières publications
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.
Une minute avec Aymeric Ferron
Aymeric Ferron est doctorant dans l'équipe-projet Inria Biwac
Agir pour la mise en accessibilité numérique
Conférence - Agir pour la mise en accessibilité numérique, tous concernés !
Autisme et Numérique : l’apport des méthodes participatives dans l’éducation inclusive
Conférence - Autisme et Numérique : l'intérêt du partenariat parents-professionnels
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
DYOGENE/ERC NEMO 2022 : Seminar series
- COMPTE Céline
- ŠLOSMAN Senya B.
- CURIEN Nicolas
- MELLICK Samuel
- DE AMBROGGIO Umberto
- KONSTANTOPOULOS Takis
- GAUDILLIèRE Alexandre
- ALDOUS David J.
- LöCHERBACH Eva
- SHNEER Seva
- THORISSON Hermann
- FOSS Serguei
- GHOSH Subhroshekhar
- CALKA Pierre
- D'ACHILLE Matteo
- O'REILLY Eliza
- BORDENAVE Charles
- DAVYDOV Michel
- DELGOSHA Payam
- BARZEGAR TOUCHANI Milad
- GAST Nicolas
- niveau 1 niveau 2 niveau 3
- document 1 document 2 document 3
DYOGENE/ERC NEMO 2021 : Seminar series
- HUTCHCROFT Tom
- DELMAS Jean-François
- OULAMARA Mendes
- niveau 1 niveau 2 niveau 3
- document 1 document 2 document 3
Workshop on vehicular networks
- CASTELLUCCIA Claude
- niveau 1 niveau 2 niveau 3
- document 1 document 2 document 3
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)