Inria - Institut national de recherche en sciences et technologies du numérique

Nos dernières publications
Une minute avec Patrick Parmantier
Patrick Parmantier est secrétaire général du Centre Inria de l’université de Bordeaux.
Une minute avec Myriam Revers
Myriam Revers est chargée de budget au sein du centre Inria de l’université de Bordeaux.
DYOGENE/ERC NEMO 2023 : Seminar series
- LACHIèZE-REY Marc
- BELHADJI Ayoub
- FRICKER Christine
- MOYAL Pascal
- 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
- 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 Sergej Georgievič
- 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
Une minute avec Suzane Fleury
Suzane Fleury est chargée de communication et médiation scientifique au sein du Centre Inria de l’université de Bordeaux.
Workshop on vehicular networks
- CASTELLUCCIA Claude
- niveau 1 niveau 2 niveau 3
- document 1 document 2 document 3
Une minute avec Guillaume Sylvand
Guillaume Sylvand est ingénieur de recherche chez Airbus Central au sein de l’équipe-projet Concace, commune à Inria, Airbus et le Cerfacs.
Graph Similarity
Graph similarity is the basis for many graph and network analyzing tasks.We will discuss similarity concepts for graphs that are relevant for analysis tasks on graph data sets. These include graph
Une minute avec Christèle Etchegaray
Christèle Etchegaray est chargée de recherche au sein de l’équipe-projet Monc du centre Inria de l’université de Bordeaux. Rencontre avec cette jeune scientifique et explication de son parcours.
Integrating Simulation, Machine Learning, and High-performance Computing to Support Public Health D…
Integrating Simulation, Machine Learning, and High-performance Computing to Support Public Health Decision Making
Intervenants
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 2023)
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
Titulaire d'un doctorat en Mathématiques appliquées (Ecole Polytechnique, 2003)
Mathématicien, économiste. Professeur attaché, directeur de recherche CNRS, Département d'informatique (DI-ENS, UMR 8548), École normale supérieure, Paris (en 2021)