Accompagner l’enseignement du numérique - Février 2019 - Mars 2020, Grenoble
Descriptif
Le Centre de recherche Inria Grenoble, en partenariat avec l’Académie de Grenoble (depuis 2010), propose un cycle de conférences à destination des enseignants et professeurs des écoles sur les sciences du numérique, abordées d’un point de vue scientifique, technologique ou sociétal : recherches actuelles, concepts informatiques, outils et applications, histoire et évolutions, personnalités et itinéraires, impacts et débats sociétaux.
Objectif : Partager une culture en informatique et sciences du numérique et permettre aux enseignants d’accéder à des ressources pédagogiques ou de mettre en place des activités ISN avec leurs élèves.
Le programme des conférences ISN est défini annuellement et comporte 2 types de formats et publics :
- initiation : intervention dans un lycée, à destination des élèves de classes 2nde à Terminale
- approfondissement : intervention plus approfondie au centre de recherche Inria, à Montbonnot, à destination des enseignants d’Informatique et Sciences Numériques.
Publics
- enseignants de l’enseignement primaire et secondaire,
- publics intéressés par l’enseignement des sciences du numérique de l’école primaire au lycée
Intervenants
Chercheurs, enseignants chercheurs et ingénieurs des équipes de recherche d’Inria Grenoble Rhône-Alpes
Vidéos
Quelques algorithmes de calcul d'enveloppe convexe en 2D
Le calcul de l'enveloppe convexe d'un nuage de points est un des problèmes fondamentaux en informatique, avec des applications multiples : traitement d'images, reconstruction 3D, détection de
Modélisation de la croissance des micro-organismes
La croissance microbienne peut être formulée comme un problème d'optimisation : comment allouer les ressources nutritives extraites de l'environnement aux différentes fonctions cellulaires afin de
Les mathématiques et la physique dans les effets spéciaux et les jeux vidéo
La synthèse d’images (parfois appelée « la 3D ») permet de créer dans l’ordinateur des mondes fictifs, ultra-réalistes ou de style cartoon selon l’envie des graphistes, des réalisateurs, des
Caches, montrez-vous !
Les processeurs actuels permettent de l'ordre de quelques tera-opérations par seconde. Puissance nécessaire pour soutenir les besoins en simulation numérique, qui constitue, après la théorie et l
Théorie de l’appariement et applications actuelles
Pourquoi y a-t-il tant de personnes sans emploi alors qu’au même moment un grand nombre de postes sont disponibles ? La théorie de l’appariement analyse ces problèmes où un certain nombre de
Le numérique face aux enjeux environnementaux et sociétaux
L’humanité est aujourd'hui confrontée à des défis sans précédent et étroitement entremêlés. Le risque d'effondrement environnemental et civilisationnel est désormais établi. Face à ces enjeux, de
« Pirater » l’humain. Données, manipulations et enjeux éthiques
Nos données personnelles sont collectées et utilisées en permanence par les services en ligne, comme Google ou Facebook ou encore exploitées par les publicitaires pour personnaliser les contenus ou
Des besoins en calcul de plus en plus performant
Les supercalculateurs actuels sont de plus en plus complexes que ce soit au niveau de l'architecture des processeurs, du réseau ou de la hiérarchie mémoire. Leur programmation est un enjeu majeur
Les mathématiques de l'intelligence artificielle
L'intérêt pour l'intelligence artificielle (IA) s'est considérablement accru ces dernières années suite au succès de son application à des problèmes de société variés tels que la santé, la justice,
Vers la navigation sociale des véhicules autonomes
Le véhicule autonome n'est pas un "simple" robot, tel un robot compagnon, mais un robot qui transporte des personnes. Cela implique que les passagers doivent se sentir intégrés dans le trafic comme
Ordonnancement pour systèmes temps réel : conception et vérification
Un système informatique est dit "temps réel" dès qu'il doit répondre à un stimulus dans un délai donné. Les système informatiques embarqués dans les avions et les voitures sont ainsi soumis à des
Comment les plantes font-elles des mathématiques ?
Les plantes font partie des objets les plus familiers qui nous entourent, mais aussi les plus mystérieux. L’arrangement de leurs organes par exemple fait souvent apparaître des symétries d’une
Perception multimodale et interaction sociable
Au cours des deux dernières décennies, de très nombreux progrès ont été faits dans le domaine de la perception par ordinateur, c’est-à-dire des algorithmes permettant à ce dernier de percevoir,
Calcul reconfigurable: quand le programme est un circuit.
Dans le paradigme de programmation actuellement dominant, un programme est une suite d'instructions qui s'exécutent en séquence. Cette séquentialité est confortable pour écrire des programmes, mais
La linguistique expérimentale sur le web
Le développement des navigateurs web et l'avalanche de traces numériques à laquelle nous assistons depuis les années 2000 ont ouvert de nouveaux modes d'expérimentation en sciences cognitives. Pour la
Les mathématiques cachées du trafic routier
Ces dernières années, les priorités stratégiques des systèmes de transport se sont concentrées sur la recherche, le développement et l'adoption de technologies liées à l'automatisation au fur et à
Optimisation et Incertitudes sont-elles compatibles ?
Dans cet exposé, nous montrerons les principes qui sous-tendent l’optimisation de systèmes incertains, comme la notion de stratégie optimale, le principe d’optimalité de Bellman et la programmation
Rendre l’informatique plus verte
Cet exposé présentera le cycle de vie du numérique et les impacts environnementaux associés à l’extraction des ressources, la conception, l'usage et la fin de vie. Différentes approches venant
Perception multimodale et interaction sociable
Au cours des deux dernières décennies, de très nombreux progrès ont été faits dans le domaine de la perception par ordinateur, c’est-à-dire des algorithmes permettant à ce dernier de percevoir,
L’analyse non lisse pour la modélisation et la simulation
L’objet de cet exposé est de montrer l’intérêt et de l’analyse mathématique non–lisse pour la modélisation et la simulation de systèmes physiques qui peuvent venir de la mécanique, de l’électronique
Les réseaux WiFi : principes et performances
Les réseaux WiFi font maintenant partie de la vie quotidienne, que ce soit à la maison, dans les lieux publics ou encore au travail. Ces réseaux ont l'avantage d'être très souvent gratuits et
Probabilité et Informatique : du modèle à l'algorithme
De nombreux systèmes informatiques (centre de calculs, réseaux) sont composées d'un grand nombre d'ordinateurs qui interagissent. La conception d’algorithmes efficaces pour de tels systèmes passe
L'intelligence ambiante
Plus de 40% de l’énergie totale consommée en France provient des habitations. La plupart des recherches dans le domaine du bâtiment se concentrent sur leur efficacité énergétique mais prennent peu
Objets connectés et communications sans fil : fuites de données et traçage
Smartphone, montre connectée, tablettes, nous portons sur nous de plus en plus d'appareils utilisant des technologies de communications sans fil tels que le Wi-Fi. Les messages radio diffusés par
Intelligence artificielle et reconnaissance visuelle
L'intelligence artificielle est annoncée partout comme une révolution scientifique. Derrière ce terme marketing se cache une réalité plus pragmatique dans un contexte où les données de toutes sortes
Propagation d'espèces en biologie
Les phénomènes de propagation sont omniprésents dans les sciences de la vie, à différentes échelles de temps et d'espace (propagation de l'influx nerveux, contraction du myocarde, épidémies, invasion
Apport de l'informatique à la génomique des cancers
La plupart des gènes de notre génome sont présents en deux copies (une sur chaque chromosome homologue). Dans un génome tumoral, en revanche, il est fréquent d'observer soit des pertes soit, au
Modélisation de l'évolution des espèces
Dans cette présentation nous expliquerons les concepts les plus basiques de l'évolution. Nous expliquerons ce qu'est un arbre phylogénétique et comment il est construit. Ensuite, nous verrons que
Langages et sémantique
Les langages permettent la communication. La sémantique définit la manière d'interpréter les énoncés des langages pour leur attribuer un sens. Cette description très générale s'applique et est
Architectures multi-coeurs, fiabilité et optimisation
Présentation des principes généraux de l'optimisation multi-critères et de l'ordonnancement pour les systèmes temps-réel embarqués. En particulier les notions d'optimum de Pareto et les techniques
Statistique des événements extrêmes
La statistique "classique" se focalise habituellement sur le comportement moyen des phénomènes aléatoires, ses résultats les plus connus étant par exemple la loi des grands nombres ou le théorème
HPC, architectures et performances
Les unités de traitement parallèles sont maintenant partout. Depuis les tablettes connectées jusqu'aux supercalculateurs des grands laboratoires nationaux, l'utilisation de leurs nouvelles
Optimisation multi-objectifs
De nombreuses situations concrètes de la vie quotidienne font intervenir des points de vue différents. Du point de vue informatique et mathématique, ceci correspond à optimiser simultanément
Modélisation de nano-structures
La première course de nano-voitures se déroulera à Toulouse en octobre 2016, et permettra d’évaluer les progrès récents en conception de nano-mécanismes. Pour les nano-voitures ou d’autres
Smartphones et vie privée
Un smartphone "voyant passer" un grand nombre de données personnelles peut révéler beaucoup d’informations sur son utilisateur. Ces informations personnelles sont la plupart du temps exfiltrées vers
Femmes et informatique
L'informatique se cache partout, des objets de haute technologie (avion, satellite) à l'élément le plus banal (téléphone, lave-vaisselle...). Alors que sa maîtrise ne requiert pas de qualités
Grands systèmes informatiques
Notre société repose, parfois sans le savoir, sur de gigantesques infrastructures de calcul. À quoi ressemblent de telles machines, comment les utilise-t-on et quels sont les défis que cela pose ?
Bio-informatique et applications
La séquence de caractères est un des objets que les informaticiens connaissent bien et pour lequel ils ont développé de très nombreux algorithmes. C’est donc très naturellement que l’informatique et
Internet, un réseau de réseaux : fonctionnement et organisation
Internet connecte actuellement quelques milliards d'entités (internautes, serveurs, objets mobiles, etc.). Nous verrons, d'un point de vue réseau, le fonctionnement de cet ensemble sous des aspects
Arithmétique et calcul
De l'origine du calcul, en commençant par différentes représentations des nombres au fil du temps et par les méthodes apprises à l'école pour les opérations arithmétiques, au calcul sur ordinateur,
Détection d'objets sur des images
Déterminer si une image numérique contient une voiture est très difficile pour un ordinateur. Les méthodes actuelles se basent sur une analyse spatiale et fréquentielle de l'image, suivie d'un
Systèmes de prévision numérique en environnement
Contrairement à la plupart des autres domaines scientifiques, on ne peut en général pas réaliser d’expérimentations sur les systèmes environnementaux (atmosphère, océan, climat...). La simulation
Les réseaux radio de la ville numérique : 1ère partie
Bien qu’on en entende parler de plus en plus, la définition d’une « ville intelligente » reste assez floue voire mouvante. Une constante est qu’elle se fonde sur une « ville numérique », c’est à
Internet et sécurité des données
Les mots de passe sont partout en informatique. Ils sont la principale défense offerte à tous les utilisateurs d'Internet (de l'expert au néophyte) pour protéger leurs informations (vos mails ou
Les réseaux radio de la ville numérique : 2ème partie
Bien qu’on en entende parler de plus en plus, la définition d’une « ville intelligente » reste assez floue voire mouvante. Une constante est qu’elle se fonde sur une « ville numérique », c’est à
Géométrie numérique : du réel au virtuel : 2ème partie
La numérisation permet, dans de nombreux domaines, de mieux visualiser, étudier, mesurer des objets ou des scènes du monde réel. Les modèles virtuels directement issus des appareils de numérisation
Géométrie numérique : du réel au virtuel : 1ère partie
La numérisation permet, dans de nombreux domaines, de mieux visualiser, étudier, mesurer des objets ou des scènes du monde réel. Les modèles virtuels directement issus des appareils de numérisation
Théorie algorithmique de l'information
Qu'est-ce que l'information et comment la mesurer ? qu'est-ce que la complexité et comment la mesurer ? En 2013, les travaux d'application sur la mesure de la complexité continuent car on est encore
Introduction à la calculabilité
Qu'est-ce que le calcul en Informatique ? Dans la première partie on s'intéresse à l'aspect épistémologique : comment s'est-on interessé au problème de la calculabilité en informatique ? on abordera
Technologie des moteurs de recherche sur le web : systèmes de gestion des données
La présence de la gestion des données dans le programme d'informatique des classes de CPGE peut étonner certains.Cette conférence est un essai de réponse à ces interrogations : elle porte sur la
Éléments d'algorithmique : mariages stables
Comment aborder les problèmes d'algorithmique dans le cadre du programme ISN au Lycée ?
Les nombres et l'ordinateur
Nous confions à nos ordinateurs de nombreux calculs (météo, simulations aéronautiques, jeux vidéos, feuilles Excel...) et nous considérons naturellement que l'ordinateur fournira une réponse juste
Modélisation mathématique en biologie : quand les gènes jouent la montre : 1ère partie
Comment comprendre l'adaptation des organismes vivants à leur environnement quand ces processus sont contrôlés par des réseaux de régulation cellulaires très complexes ? Une telle analyse requiert
Comment se déplacent les robots ? : 1ère partie
Tout robot est une machine agissante. A ce titre, il va lui falloir se déplacer pour agir. L'objet de ce séminaire est d'étudier les principaux problèmes auxquels un robot est confronté dès lors
Reconnaissance d'activités en environnement "intelligent"
Dans cet exposé, nous nous intéressons à la notion de perception en environnement dits "intelligents" au sens large du terme.
Interprétation de contenus d'images (Visual object recognition) : 2eme partie
Dans la première partie de ce cours nous introduisons des descripteurs d'image robustes et invariants ainsi que leur application à la recherche d’images similaires. Nous expliquons ensuite comment
Modélisation mathématique en biologie : quand les gènes jouent la montre : 2ème partie
Comment comprendre l'adaptation des organismes vivants à leur environnement quand ces processus sont contrôlés par des réseaux de régulation cellulaires très complexes ? Une telle analyse requiert
Comment se déplacent les robots ? : 2ème partie
Tout robot est une machine agissante. A ce titre, il va lui falloir se déplacer pour agir. L'objet de ce séminaire est d'étudier les principaux problèmes auxquels un robot est confronté dès lors
Interprétation de contenus d'images (Visual object recognition) : 1ère partie
Dans la première partie de ce cours nous introduisons des descripteurs d'image robustes et invariants ainsi que leur application à la recherche d’images similaires. Nous expliquons ensuite comment
Le hasard fait bien les choses : 2ème partie
Cet exposé porte sur la "théorie des jeux" ou, plus simplement, "comment modéliser un système mettant en jeu des acteurs en interaction?". Nous montrons tout d'abord quelques exemples
Le hasard fait bien les choses : 1ère partie
Cet exposé porte sur la "théorie des jeux" ou, plus simplement, "comment modéliser un système mettant en jeu des acteurs en interaction?". Nous montrons tout d'abord quelques exemples
Les robots, des puces plein la tête
Les robots, des puces plein la tête ! Et ces puces, que font-elles ? De la géométrie, de l'algèbre, de l'analyse, bref, des mathématiques ! Mais pas seulement. Commençons par réaliser qu'il n'est
Epistémologie de l'informatique et applications
Aujourd'hui, le computer est au coeur des techniques de conception comme de représentation et de formalisation dans les sciences et dans les techniques contemporaines. L'informatique passe à la
Accès aux vidéos en ligne : comment repousser les limites des tuyaux ?: 2ème partie
Cette présentation porte sur l'accès aux contenus multimédia au travers d'Internet (au sens large). Nous commençons par présenter des éléments factuels qui montrent l'importance que ces services ont
Accès aux vidéos en ligne : comment repousser les limites des tuyaux ?: 1ère partie
Cette présentation porte sur l'accès aux contenus multimédia au travers d'Internet (au sens large). Nous commençons par présenter des éléments factuels qui montrent l'importance que ces services ont
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie
Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse
Création de mondes virtuels animés : 1ère partie
Modéliser et animer des mondes virtuels de plus en plus complexes est indispensable à nombre d'applications, des loisirs numériques (jeux vidéo, effets spéciaux, films d'animation 3D) à l'héritage
Création de mondes virtuels animés : 2ème partie
Modéliser et animer des mondes virtuels de plus en plus complexes est indispensable à nombre d'applications, des loisirs numériques (jeux vidéo, effets spéciaux, films d'animation 3D) à l'héritage
Algorithmes et génomes : analyse informatique de l'information génétique : 2ème partie
La séquence de caractères est un des objets que les informaticiens connaissent bien et pour lequel ils ont développé de très nombreux algorithmes. C’est donc très naturellement que l’informatique et
Algorithmes et génomes : analyse informatique de l'information génétique : 1ere partie
La séquence de caractères est un des objets que les informaticiens connaissent bien et pour lequel ils ont développé de très nombreux algorithmes. C’est donc très naturellement que l’informatique et
Premiers principes des langages de programmation
Dans cette vidéo, Gilles Dowek fait un cours introductif, à destination des Professeurs des Lycées, de la Science Informatique (et de ses quatre piliers: Algorithme, Langage, Machine, Information)
Résolutions numériques de problèmes, quelques grandes familles d'algorithmes
Dans cet exposé, quelques grands algorithmes d'estimation de paramètres et de génération de trajectoire sont démystifiés. Les principes généraux sont décrits et les points clés de ces méthodes mises
Introduction à l'algorithmique, structures de contrôle et de données
Dans cet exposé, François Laroussinie introduit la notion d'algorithme à travers ces éléments clés: structures de contrôle et de données et complexité. Il considère alors les algorithmes de tri et les
Les machines d'aujourd'hui et de demain
Dans cette vidéo, Albert Cohen montre les liens entre la science informatique et l'architecture des ordinateurs, donc leur conception. Il explique les outils logiciels permettant de profiter des
Quelques rudiments de calculabilité et de complexité
Dans cet exposé, Paul Gastin, à travers des exemples concrets tel que le jeu du Sudoku, pose les deux problématiques fondamentales de l'algorithmique théorique que sont calculabilité et complexité, en
Codage et cryptographie
Dans cet exposé, Daniel Augot, aborde à partir du petit jeu Marienbad et la fonction "ou exclusif", les mécanismes algébriques et algorithmiques qui fondent les mécanismes de chiffrage et de codage
La recherche d'information, les moteurs de recherche et le pageRank
Dans cet exposé, Jean-Paul Delahaye, nous parle de l'information au sens usuel du terme et nous montre les problèmes mathématiques et algorithmiques qui depuis quinze à ving ans ont été résolus pour
Algorithmes de transmission et de recherche de l'information dans les réseaux de communication
Dans cet exposé, Philippe Robert, après quelques mots sur son métier, explique les problèmes fondamentaux qui se posent dans un système distribué, en prenant le problème de la transmission de messages
Calcul en précision arbitraire
Dans cet exposé Luc Bougé propose une séquence pédagogique autour du calcul avec des très grands nombres qui ne peuvent être codés avec les nombres entiers ou les nombres flottants usuels des machines
Combien d’objets dans une image ?
Dans cet exposé Jean-Jacques Lévy propose de décortiquer quelques algorithmes d'étiquetage des objets dans une image, c'est à dire de segmentation de cette image en régions homogènes, et de regarder
L'imagerie satellitaire : une aide à l'enseignement de l'informatique
Dans cet exposé, Henri Maitre montre comment et de quelle façon concrète les images satellitaires de Google peuvent devenir des objets numériques à forte plus-value pédagogique et comment les utiliser
Expériences sur l’enseignement d’informatique en Tunisie
Dans cet exposé Hamdi Ben Abdallah, témoigne d'abord de la façon dont l'enseignement de l'informatique a été introduit il y a plus de dix ans en Tunisie, pour devenir une spécialité du baccalauréat.
Pourquoi mon ordinateur calcule faux?
Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes
L’informatique dans les sciences de la vie
Dans cet exposé François Rechenmann propose un rapide survol des méthodes algorithmiques utilisées au niveau de l'analyse du génome. On y découvre que l'informatique est à la fois un outil
Les algorithmes de classement utilisés dans les moteurs de recherche
Dans cet exposé Michel Habib nous explique comment fonctionne google, quels sont les mécanismes algorithmiques qui permettent de calculer le "ranking" d'une page, et comment fonctionne l'indexation de
Expériences personnelles dans l’enseignement de l’informatique et du monde numérique
L'informatique est partout, c'est devenu banal de le dire, mais qu'entend-on vraiment par là ? Comprend-on bien que le numérique, aujourd'hui, loin de se cantonner aux ordinateurs, est bien plus
Intervenants et intervenantes
Doctorat de mécanique ; directeur de thèse en Automatique et productique à Grenoble Alpes en 2015
Docteur en Sciences (Université Paris-Dauphine, 2013)
Chercheur à l'INRIA Grenoble-Rhone-Alpes en 2020
Directeur de recherche Inria, en poste au Centre Inria de Saclay, Palaiseau. Membre du LIX - Laboratoire d'Informatique de l’École polytechnique.
Auteur d'une thèse en Informatique et Robotique à Ecole nationale des Mines d'Albi-Carmaux en 2020
Au Collège de France, titulaire de la chaire annuelle Innovation technologique (2007-2008), de la chaire annuelle Informatique et sciences numériques (2009-2010), puis de la chaire Algorithmes, machines et langages (2012-2019).
Spécialiste de mathématiques appliquées aux Sciences de la terre. En poste au LJK Grenoble (UGA-INRIA-CNRS) (en 2012)
Auteur d'une thèse en Informatique soutenue à l'ENS de Lyon en 2004
Directrice de recherche INRIA, Université Paris-Sarclay (en 2019)
Directrice de recherche - Centre Inria de Saclay - Université Paris Saclay (en 2025)
Docteur en informatique théorique (Paris 7, 1987)
En poste à l'Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) (en 2006)
Professeur des Universités à l' Ecole normale supérieure de Rennes depuis 2013
Titulaire d'un doctorat en Mathématiques (Paris 6, 2007)
Directeur de Recherche au sein du Laboratoire de Mathématiques de Bretagne Atlantique (LMBA - UMR CNRS 6205 - Université de Bretagne Occidentale)
Informaticienne. Professeure des universités, membre de l'équipe Mondes visuels, analyse temporelle, animation (VISTA), Laboratoire d'informatique de l'École polytechnique (LIX, UMR 7161), École polytechnique, Palaiseau, Essonne (2026)
Membre de l'Académie des sciences, section : Section des sciences mécaniques et informatiques et Inter-section des applications des sciences
Directeur de thèse à l'Institut national polytechnique de Grenoble, en poste à l'INRIA (Projet Planète) (en 2004)
Auteur d'une thèse en Informatique à Nice en 1996
Co-directeur d'une thèse préparée au Centre d'Innovation en Télécommunications et Intégration de services (CITI) et soutenue à l'INSA Lyon en 2020
Co-directeur d'une thèse préparée au Centre d'Innovation en Télécommunications et Intégration de services (CITI) et soutenue à l'INSA Lyon en 2021
Informaticien. Chercheur, Google research, Paris (2025)
Doctorat en informatique (Versailles-St Quentin en Yvelines, 1999)
Titulaire d'un doctorat en Informatique (Grenoble, 2010)
Maître de Conférences au sein de l'INSA-Lyon, membre de l'équipe "Privatics" de l'Inria Lyon/CITI Lab
Professeur des universités - CITI - INSA Lyon
Directeur de thèses Préparées au Laboratoire Centre d'Innovation en Télécommunications et Intégration de services (CITI), et soutenues à l’INSA de Lyon (depuis 2024...)
Titulaire d'une thèse de 3e cycle en Mathématiques appliquées (Lille 1, 1979)
Titulaire d'un doctorat en Mathématiques (Lille 1, 1982)
Professeur émérite de l'Université de Lille
En poste : Department of civil and environmental engineering, University of California, Berkeley, CA, USA et Inria Grenoble-Rhône Alpes, France (en 2022)
Docteur en informatique de l'INPG. - Maître de conférences à l'École nationale supérieure d'électronique et de radio électricité, Université de Bordeaux I (en 1995). - Chargé de recherche à l'INRIA, Institut national de recherche en informatique et en automatique (en 2001). - HDR, Lyon 1 (en 2001). - Directeur du Centre Inria de l’Université Grenoble Alpes (en 2026)
Titulaire d'un doctorat en informatique de l'image et du langage en 2004
Docteur en informatique (Paris 7, 1991)
Professeur à l'École polytechnique et chercheur à l'Institut national de recherche en informatique et en automatique (INRIA) en 2006
Directeur de recherche à l'Institut national de recherche en informatique et en automatique (INRIA) en 2011
Maître de conférences à l'École normale supérieure de Lyon (en 1998)
Professeur des Universités - en poste à l'INSA Lyon - Villeurbanne, FRANCE
Directeur d’une thèse préparée au laboratoire Centre d'Innovation en Télécommunications et Intégration de services (CITI) et soutenue à l’INSA Lyon (depuis 2019...)
Auteur d'une thèse en Mathématiques et Informatique à Grenoble en 2013
Auteur d'une thèse de doctorat en informatique (Grenoble 1, 1990) et d'une HDR en informatique et mathématiques appliquées (Grenoble 1, 1999). - Directeur de thèse à l'Université Joseph Fourier de Grenoble. Directeur de recherche, INRIA Grenoble (en 2002)
Directeur de thèse à l'Institut national polytechnique de Grenoble, en poste à l'INRIA, service E-Motion (2007)
Mathématicien. Chargé de recherche INRIA, membre de l'équipe-projet Performance analysis and optimization of large infrastructures and systems (POLARIS), Laboratoire d'informatique de Grenoble (LIG, UMR 5217), Université Grenoble Alpes (2025)
Doctorat en Informatique (Grenoble, 2010). Habilitation à diriger des recherches (Grenoble, 2020)
Docteur en informatique (Paris 7, 1987), en poste au Laboratoire Spécification et Vérification (LSV) à l'ENS de Cachan & CNRS (2010)
Auteur d'une thèse en Informatique à Nice en 1994
Directeur de Recherche au sein de l'équipe "Performance analysis and Optimization of LARge Infrastructures and Systems" (POLARIS - Axe Systèmes Répartis, Calcul Parallèle et Réseaux) du Laboratoire d'Informatique de Grenoble (LIG - UMR CNRS 5217 - Inria)
Chercheur à l'IINRIA Rhône-Alpes, projet MISTIS (en 2007). : Directeur de recherche, Inria Grenoble Rhône-Alpes, Montbonnot (en 2017)
Directeur de recherche à l'INRIA Sophia Antipolis puis au Centre de Grenoble Rhône-Alpes
Auteur(e) d'une thèse de doctorat en informatique (Grenoble INPG, 1994)
Directeur de cherche INRIA en biologie végétale. Membre du Laboratoire de Reproduction et Développement des Plantes à l'ENS de Lyon (en 2024)
A obtenu le diplôme d'ingénieur de l'École spéciale de génie civil de Paris, France, en 1986, le doctorat en contrôle des systèmes complexes de l'Université technologique de Compiègne, France, en 1990, et le diplôme d'habilitation en informatique de l'Université de Montpellier, France, en 2003. De 2006 à 2017, il dirige l'équipe INRIA Virtual Plants, commune au Cirad et à l'Inra de Montpellier
Titulaire d'un doctorat en Sciences et techniques (Paris 7, 1999)
Enseignante-chercheuse au sein de l'Université Claude Bernard Lyon 1, membre de l'équipe "Holistic Wireless Networks" (HoWNet) du Laboratoire de l'Informatique du Parallélisme (LIP - UMR CNRS 5668 - ENS de Lyon)
Présidente du jury lors d'une thèse soutenue à l'INSA Lyon en 2026
Auteur d'une thèse de 3e cycle en informatique (Paris 6, 1975) et d'une thèse d'etat en mathématiques. informatique (Paris 6, 1981). - Professeur des Universités, en poste à l'EMSE Saint-Etienne (1983). En poste au Laboratoire d'Informatique, de Robotique et de Micro-électronique, Montpellier (2004). Professeur au LIAFA (Laboratoire d'Informatique Algorythmique : Fondements et Applications), Paris, en 2005. Professeur émérite d'informatique à l'Université de Paris (en 2021)
Titulaire d'un doctorat de l'Institut National Polytechnique de Grenoble, spécialité "Signal, Image, Parole, Télécoms"
Directeur de thèse à l'Université de Strasbourg (UNISTRA). Membre du Laboratoire iCube dans l'équipe IGG 300
Rapporteur lors d'une thèse soutenue à l'INSA Lyon en 2023
Informaticien Directeur technique Société Argosim, Saint-Martin-d'Hères, Isère en 2019)
Auteur d'une thèse de doctorat en informatique (Grenoble INPG, 2000)
Chercheur INRIA, spécialité : bioinformatique. Membre de l'équipe IBIS - Modélisation, simulation, analyse expérimentale et contrôle de réseaux de régulation bactériens (2018)
Informaticien. En poste au LSV, ENS Cachan. En 2010, en poste au LIAFA, Université Paris Diderot
Chargé de recherche au CITI (Centre of Innovation in Telecommunications and Integration of service), INSA de Lyon, 2013
Chargé de recherche à l'INRIA Centre Grenoble Rhône-Alpes, INRIA Grenoble, en 2022.
Chargé de recherche à l'INRIA Rennes depuis 2009 et membre de l'équipe de recherche Privatics depuis 2011
Titulaire d'un doctorat en Sciences appliquées, École normale supérieure Lyon (en 1997). - Directeur de recherche au sein de l'INRIA, membre de l'équipe "AVALON" du Laboratoire de l'Informatique du Parallélisme (LIP - UMR CNRS 5668 - ENS Lyon). - Directeur du PEPR NumEco, Inria (en 2026)
Chercheur CNRS au Laboratoire d'Informatique de Grenoble, dirige le projet INRIA POLARIS (en 2023)
Allocataire moniteur normalien à l'Ecole normale supérieure de Lyon, au Laboratoire de l'informatique du parallélisme (LIP). - Thèse en 2003 au LIP, Habilitation à diriger des recherches en 2015 à l'Université Grenoble Alpes.
Auteur d'une thèse en Sciences cognitives à Paris, EHESS en 2017
Professeur de mathématiques. En poste à l'École polytechnique (en 1996)
Mathématicien, informaticien. Directeur de recherche INRIA, responsable de l'équipe-projet Apprentissage de modèles visuels à partir de données massives (THOT), Centre Inria de l’Université Grenoble Alpes (2024)
Ancien élève de l'École normale supérieure de Cachan. Doctorat en Mathématiques appliquées (Cachan, École normale supérieure, 2010). Habilitation à diriger des recherches en Mathématiques appliquées et informatique (Université Grenoble-Alpes, 2017)
Écrit aussi en anglais
Professeur et directeur de thèses au Département de traitement du signal et de l'information (TSI) de l'Ecole nationale supérieure des télécommunications (ENST) de Paris, devenue Telecom ParisTech
Titulaire d’une thèse d’Etat en Sciences Physiques soutenue à l’Université Pierre et Marie Curie – Paris 6 en 1982. Directeur d'une thèse en 2002
Directeur de thèse à l'université de Grenoble 1, directeur de Recherche CNRS en synthèse d'images (2020)
Maître de Conférences à l'Université de Nice-Sophia Antipolis, Laboratoire I3S; Examinateur d'une thèse de doctorat en Informatique (Université de Montpellier, 2016)
Informaticien. Directeur de recherche INRIA, responsable de l'équipe-projet Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM), Centre INRIA de Paris (2025)
Chargé de recherche en économie au CNRS et membre associé de l’Oxford-Man Institute of Quantitative Finance. Ses travaux portent sur la microéconomie, la théorie des jeux et la gestion de la crise sanitaire. Avec Oliu-Barton, ils conçoivent la stratégie d’élimination locale « green zoning » utilisée par de nombreux pays pour affronter la pandémie. Twitter : @barypradelski
Titulaire d'une thèse de doctorat en sciences, mention "Automatique, traitement du signal et des images" (Nice, 2004). En poste au Centre Inria de l'Université Grenoble Alpes (en 2023)
Professeur d'informatique à l'Ecole normale supérieure de Rennes depuis septembre 2015
Chercheuse Inria - équipe ADN, Centre INRIA de l'Université Grenoble Alpes (2026)
Titulaire d'un doctorat en Informatique (Grenoble, 2011)
Directeur de la recherche à l'INRIA Grenoble Rhône-Alpes et responsable de l'équipe DataMove en 2019
Ingénieur. Auteur d'une thèse de docteur-ingénieur en sciences appliquées (Grenoble INPG, 1976). - HDR. Directeur de thèse à Grenoble INPG (1990-1994-) et à l'université de Grenoble 1. Directeur de recherche au centre Inria Grenoble – Rhône-Alpes (2002, 2015)
Mathématicien.- Directeur de thèse à l'Université de Grenoble (en 2019)
Ingénieur informaticien, titulaire d'une thèse en robotique depuis 1994. Directeur de thèse à l'Institut national polytechnique de Grenoble, en poste à l'IMAG (Grenoble), spécialité : informatique et robotique (2009)
Chargée de recherche INRIA en informatique, spécialisée en arithmétique informatique. Membre du Laboratoire de l'informatique du parallélisme (LIP) à l’ENS de Lyon (en 2024)
Thèmes de recherche : computer arithmetic, interval and multiple precision arithmetic, floating-point arithmetic: influence and choice of the computing precision, roundoff errors, verification of floating-point computations for linear and nonlinear problems, global optimization (interval arithmetic) and its parallelization
Auteur d'une thèse soutenue à l'INPG Grenoble (en 1994)
Titulaire d'un doctorat en Informatique (Université Nice-Sophia Antipolis, 2003)
Enseignant-chercheur au sein de l'Institut National des Sciences Appliquées de Lyon (INSA), membre de l'équipe "ALGorithmes et Optimisation pour Réseaux Autonomes" (Agora) du Centre d'Innovation en Télécommunications et Intégration de services (CITI Lab - INSA/Inria)
Professeur des Universités, directeur de thèses Préparées au Laboratoire Centre d'Innovation en Télécommunications et Intégration de services (Lyon, INSA) (CITI), et soutenues à l’INSA de Lyon (depuis 2024)
Président du jury lors de thèses soutenues à l'INSA Lyon en 2024
Co-directeur de thèse Préparée au Laboratoire Centre d'Innovation en Télécommunications et Intégration de Services (CITI), et soutenue à l’INSA de Lyon (en 2026)
Mathématicien de formation avec pour spécialité les probabilités. Directeur de Recherche à l'INRIA, responsable de l'équipe de recherche "Réseaux, Algorithmes et Probabilités" (en 2021)
Titulaire d'un doctorat en Informatique (Grenoble INPG, 1996)
Chargé de recherche, responsable de l'équipe "PRIVATICS" au sein du Centre Inria Rhône-Alpes
Chargée de recherche INRIA Grenoble, Rhône-Alpes (en 2017)
Titulaire d'un doctorat d'université en Biologie Structurale Moléculaire et Cellulaire (Nancy 1, 2003)
Ingénieur de recherche chez Inria depuis 1990 et en charge des infrastructures expérimentales à la direction générale déléguée au transfert et partenariats industriels (2015)
Informaticienne. Directrice de recherche INRIA, membre de l'équipe Models of visual object recognition and scene understanding (WILLOW), Département d'informatique (DI-ENS, UMR 8548), École normale supérieure, Paris (2024)
Doctorat en informatique (Grenoble INPG, 1996). Habilitation à diriger des recherches (Grenoble, INPG, 2001)
Informaticien. Professeur des universités en informatique, responsable de l'équipe-projet Valeur à partir de données (VALDA), directeur adjoint du Département d'informatique (DI-ENS, UMR 8548 CNRS-INRIA-ENS), École normale supérieure, Paris (2026)
Titulaire d'un doctorat en Informatique (Paris 11, 2007)
Chargée de Recherche à l'INRIA Lyon. Co-encadrante d'une thèse en BioInformatique soutenue à l'Université de Lyon en 2017
Auteure en gestion. - En poste à l'IUT de Grenoble (en 1995).
Directeur de thèse à l'Université de Grenoble
Ingénieur de l'ENSIMAG. - Auteur d'une thèse de docteur-ingénieur en analyse numérique, Grenoble INPG (en 1984) et d'une thèse de doctorat en informatique, Grenoble INPG (en 1988). - HDR de l'INPG (en 1990). - Maître de conférences à l'Université Joseph Fourier de Grenoble 1 (en 1989).
Professeur à Grenoble INPG-ENSGI au Laboratoire Informatique et Distribution (ID-IMAG), puis professeur à l'Université Grenoble Alpes. - Professeur Grenoble INP, Institut d'ingenierie et de management (en 2026)
Rapporteur lors d'une thèse soutenue à l'INSA Lyon en 2026
Maître de conférences HDR en philosophie des sciences et membre de l’unité de recherches « Equipe de recherche interdisciplinaire sur les aires culturelles » - ERIAC – à l’Université de Rouen Normandie (en 2022)
Maître de conférences de philosophie à l'Université de Rouen (en 2006)
Auteur d'une thèse de doctorat en informatique, systèmes et communications (Grenoble 1, 2002)
Directeur de thèse à l'Institut national polytechnique de Grenoble, en poste au Laboratoire d'Informatique de Grenoble (LIG)
Directeur scientifique adjoint, Institut national de recherche en informatique et en automatique (INRIA), UMR CNRS 5558 - LBBE UCB Lyon 1, VILLEURBANNE (en 2016)
Titulaire d'un doctorat d'université en neurophysiologie (Paris 6, 1988)
Chargé de recherches à l'INRIA de Sophia Antipolis
Chargé de recherche à l'INRIA Rhône-Alpes, projet BIPOP. - directeur de thèse à l'Institut national polytechnique de Grenoble
Thèmes
- Sciences informatiques et informatique
- Mathématiques
- Biologie environnementale, écologie et évolution
- Calcul scientifique, outils de simulation et de modélisation
- Géométrie et analyse globale
- Biologie intégrative : des gènes et des génomes aux systèmes
- Traitement du signal
- Aspects mathématiques de l'informatique
- Biotechnologie et ingénierie des biosystèmes
- Constituants fondamentaux de la matière
- Génie mécanique, mécanique appliquée
- Probabilités
- Réseaux
- Sciences de la durabilité, environnement et ressources, services écosystémiques
- Statistique mathématique
- Algorithmes
- Programmation
- Bioinformatique
- Robots
- Biologie
- Codage
- Internet
- Robotique
- Analyse numérique
- Apprentissage
- Cryptographie
- Géométrie
- Hasard
- Perception
- Systèmes homme-machine
- Vision par ordinateur
- Actimétrie
- Arithmétique
- Calcul
- Déclaration
- Domotique
- Écologie
- Environnement
- Évolution
- Femmes
- Génome
- Imagerie
- Infographie
- Information
- Informatique
- Langage
- Nanotechnologie
- Sémantique
- Simulation
- Syntaxe
- Technologie douce
- Télédétection
- Théorie de l'information
- Web






















































































