Notre offre

Alexandre Abadie est ingénieur de recherche chez Inria à Saclay. Il est l’un des principaux contributeurs de RIOT, impliqué dans le support LoRaWAN, le support STM32 et RISC-V. Dans le cadre de son travail chez Inria, Alexandre Abadie est également membre de l’équipe centrale de la plate-forme FIT-IoT-LAB, un banc d’essai pour l’expérimentation IoT à grande échelle.

En savoir plus

© Inria / coll. part.

Pierre Alliez est responsable de l’équipe-projet Titane et délégué scientifique du centre Inria d’Université Côte d’Azur, à Sophia Antipolis. Pierre a obtenu son doctorat en informatique en 2000 à Telecom ParisTech. Il est l’auteur de publications scientifiques et chapitres de livres sur la modélisation et le traitement numérique de la géométrie. Il est éditeur associé et développeur de la bibliothèque CGAL, et éditeur en chef du journal Computer Graphics Forumdepuis 2022. Il a obtenu en 2011-2015 une bourse ERC consolidator, et en 2017-2018 une bourse ERC proof-of-concept sur la conception d’algorithmes robustes pour le traitement numérique de la géométrie. Ses recherches actuelles portent sur la reconstruction de scènes 3D, l’approximation de formes par maillages, la compression de données géométriques, le calcul géométrique pour des applications en robotique et la modélisation 3D informée par la physique.

En savoir plus

@Inria / coll. par.

Emmanuel Baccelli est chargé de recherche Inria, membre de l’équipe-projet TRiBE à Saclay où il s’intéresse à la communication dans l’Internet des objets (IoT). Il est le cofondateur et coordinateur de la communauté open source RIOT. Il a apporté de nombreuses contributions de standardisation dans plusieurs groupes de travail de l’Internet Engineering Task Force (IETF). Depuis 2019, il est professeur associé à la Freie Universität Berlin (Allemagne).

En savoir plus

© ECDF PR Felix Noack

Directeur de recherche Inria, Yves Bertot est spécialisé dans les preuves en théorie des types, étudiant successivement les propriétés des langages de programmation, la géométrie algorithmique, les calculs mathématiques et les interactions entre preuve formelle et calcul formel algébrique. Il a coécrit avec Pierre Castéran le premier livre sur le système Coq qui a été publié en 2004, Interactive Theorem Proving And Program Development, Coq’art: The Calculus Of Inductive Constructions. Il a participé à certains des résultats les plus remarquables obtenus avec le système Coq, comme le compilateur CompCert et la preuve vérifiée sur ordinateur du théorème de l’ordre impair.

En savoir plus

© Inria / Photo C. Lebedinsky

Chercheur postdoctoral chez Inria, Pierre Boutry s’intéresse aux fondements de la géométrie et à leur formalisation au sein du système Coq à l’aide de la librairie Mathematical Components. Il a obtenu un doctorat à l’université de Strasbourg en 2018 sur les façons d’axiomatiser la géométrie euclidienne, les énoncés du postulat des parallèles ainsi que les possibilités d’automatiser le raisonnement géométrique. Il a notamment contribué à la découverte d’une nouvelle preuve d’indépendance du postulat des parallèles.

En savoir plus

© Inria / coll. part.

Stéphane Ducasse est un expert en conception objet, conception de langages à objets, programmation réflexive ainsi que maintenance et évolution d’applications industrielles (visualisation, métriques, méta-modélisation). Ses travaux sur les traits ont été introduits dans AmbientTalk, Slate, Pharo, Perl-6, PHP 5.4 et Squeak. Ils sont été portés sur JavaScript et ont influencé les langages Scala et Fortress. Il est un des développeurs de Pharo et de Moose, une plate-forme d’analyses. Son dernier livre Learning OOP, design and TDD with Pharo est disponible sur http://books.pharo.org

En savoir plus

© Inria / coll. part.

Loïc Estève est core developer sur le logiciel Scikit-learn chez Inria depuis 2016. Il a étudié la physique à l’École normale supérieure et a obtenu une thèse en physique des particules à l’université Paris 6. Après quelques années en tant que développeur dans le fonds d’investissement Winton Capital, il fait le choix en 2014 de revenir dans un milieu académique chez Inria. Depuis il s’est impliqué dans des projets au cœur de l’écosystème Python scientifique, tels que Scikit-learn, Dask et joblib.

En savoir plus

© Inria / Photo G. Scagnelli

Hugo Talbot a réalisé des études d’ingénieur en mécanique et a obtenu en 2010 un diplôme de l’institut de technologie de Karlsruhe (Allemagne) et de l’INSA de Lyon (France). Il a soutenu son doctorat en simulation médicale chez Inria en 2014. Ses travaux ont porté sur la simulation en temps réel de l’activité électrique du cœur humain. De 2014 à fin 2015, Hugo a ensuite travaillé sur la simulation de la cryoablation et l’électrophysiologie cardiaques en tant qu’ingénieur de recherche. Depuis 2016, Hugo Talbot est le coordinateur du projet open source SOFA. Les objectifs d’Hugo sont d’accompagner les travaux de recherche et les projets industriels se basant sur SOFA, de favoriser les collaborations et d’assurer, avec les membres du consortium, la définition d’une feuille de route technique.

En savoir plus

© Inria / coll. part.

Titulaire d’un master en physique quantique de l’École normale supérieure et d’un doctorat en physique quantique de l’université d’Orsay, Gaël Varoquaux se passionne pendant ses études pour l’informatique et le traitement des données. En 2008, il décide de changer d’orientation et rejoint l’équipe-projet Parietal d’Inria à Saclay, spécialisée dans la modélisation du cerveau pour les neurosciences. Il utilise Scikit-learn pour ses travaux et s’implique dans l’animation de la communauté de développeurs. En 2018, il devient chef de projet pour le consortium Scikit-learn.

En savoir plus

© Inria / Photo G. Scagnelli

Arturo Amor a fait son doctorat en physique théorique à l’Institut des sciences nucléaires à l’UNAM (Mexique). Il a poursuivi ses recherches dans le même domaine en postdoc à l’École polytechnique en France. Ingénieur de recherche à Inria au sein de l’équipe SODA, il est grandement impliqué dans la maintenance de la bibliothèque d’apprentissage automatique scikit-learn, où sa tâche principale consiste à rendre la documentation plus accessible à tous les types d’utilisateurs.

Arturo Amor

@Inria

Ingénieur de recherche pendant plus d’une quinzaine d’année à Inria, Benjamin Ninassi y a occupé divers postes d’expertises techniques, d’encadrement et de gestion de projet au sein de la DSI puis au sein de la Direction Scientifique de l’institut. Il a activement concouru à plusieurs projets à forts impacts sociétaux ( France Université Numérique, Class’Code, le Mooc Impact’Num, etc.). Il a également occupé le poste de manager au sein de l’équipe « Sustainability & Technology » d’Accenture Technology France.

Contributeur entre autres à l’INR (notamment au GR491), à Ecoinfo (notamment à la plaquette d’écoconception), à la minum_eco (notamment au RGESN et au Guide de bonnes pratiques numérique responsable pour les organisations ), anciennement à la Green Software Foundation et à la European Green Digital Coalition, Benjamin participe activement à l’écosystème Numérique Responsable français et international.

Il est à ce jour adjoint au responsable du programme « Environnement et Numérique » d’Inria.

@Inria

Directeur de recherche en informatique à l’Inria et responsable de l’équipe commune Wimmics , Fabien Gandon est un des experts reconnus mondialement dans le domaine du web sémantique. Son doctorat en 2002 a été le premier à utiliser conjointement l’intelligence artificielle distribuée (IA) et le Web sémantique pour gérer une variété de sources de données et d’utilisateurs au-dessus d’une architecture Web. Ensuite, en tant que chef de projet de recherche à l’université Carnegie Mellon (États-Unis), il a proposé une méthode d’intelligence artificielle pour faire respecter les préférences en matière de protection de la vie privée lors de l’interrogation et du raisonnement sur les données personnelles. En 2004, recruté comme chercheur à l’Inria, il a commencé à étudier des modèles et des algorithmes pour intégrer les médias sociaux et les systèmes d’IA basés sur la connaissance sur le Web et soutenir les humains dans la boucle. En 2012, il est devenu le représentant d’Inria au World-Wide Web Consortium (W3C) où il avait déjà participé à plusieurs groupes de standardisation depuis 2004.

Fabien a supervisé avec succès plusieurs doctorats, présidé des conférences internationales majeures (par exemple WWW 2012 et 2018, ESWC 2015, ISWC 2019) et rédigé de nombreux articles de journaux, de conférences et d’ateliers, ainsi que plusieurs livres et chapitres de livres. En 2015, Fabien a lancé une série de MOOC bilingues sur la plateforme nationale FUN sur le Web sémantique et les données liées. Il est également devenu professeur au Data ScienceTech Institute (DSTI). En 2017, Fabien crée le laboratoire commun de recherche QWANT-Inria et devient également responsable de la convention de recherche entre le ministère de la Culture et l’Inria. En septembre 2018, Fabien devient vice-directeur de la recherche d’Inria Université Côte d’Azur jusqu’en septembre 2022. En 2019, Fabien se voit attribuer une chaire en IA par l’institut 3IA Côte d’Azur. En 2022, Fabien devient co-président du conseil scientifique du DSTI.

 

@Inria