archive-fr.com » FR » I » INRIA.FR

Total: 1610

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • Saclay - Inria
    Saclay Ile de France est présidente du comité d organisation de cette convention qui se déroulera les 24 et 25 novembre 2015 à HEC Paris Lire la suite Europe Relations internationales Big Data Value Association Partenariats européens Inria acteur de la recherche européenne AB 22 08 2015 Inria rejoint l association Big Data Value Association BDVA qui coordonne le Partenariat Public Privé PPP européen sur les Big Data lancé au début de l année 2015 Lire la suite Actualités scientifiques Agenda scientifique Domaines de recherche Rechercher une équipe Mobilité internationale Stratégie Transfert Innovation Recrutement métiers UPMC L Ardhuin Prix Inria 2015 Benoît Perthame Grand Prix Inria Académie des sciences AB 24 09 2015 Mathématicien de premier plan Benoît Perthame est une personnalité clé de la communauté scientifique internationale Spécialiste des équations cinétiques il est un pionnier depuis les années 2000 du domaine des maths bio Sa modélisation mathématique de la théorie de l évolution de Darwin ses études sur le cancer ou l organisation de communauté cellulaires illustrent sa capacité à inventer de nouveaux concepts et à développer des outils d analyse appliqués aux sciences du vivant Lire la suite Inria D Grandmougin Prix Inria 2015 Véronique Cortier Prix Inria Académie des sciences du jeune chercheur AB Spécialiste des protocoles de sécurité Véronique Cortier imagine aujourd hui les solutions qui permettront demain de sécuriser notre vie numérique Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans

    Original URL path: http://www.inria.fr/centre/saclay (2015-12-30)
    Open archived version from archive


  • Sophia - Inria
    européens Inria acteur de la recherche européenne AB 22 08 2015 Inria rejoint l association Big Data Value Association BDVA qui coordonne le Partenariat Public Privé PPP européen sur les Big Data lancé au début de l année 2015 Lire la suite Actualités scientifiques Agenda scientifique Domaines de recherche Rechercher une équipe Mobilité internationale Stratégie Transfert Innovation Recrutement métiers UPMC L Ardhuin Prix Inria 2015 Benoît Perthame Grand Prix Inria Académie des sciences AB 24 09 2015 Mathématicien de premier plan Benoît Perthame est une personnalité clé de la communauté scientifique internationale Spécialiste des équations cinétiques il est un pionnier depuis les années 2000 du domaine des maths bio Sa modélisation mathématique de la théorie de l évolution de Darwin ses études sur le cancer ou l organisation de communauté cellulaires illustrent sa capacité à inventer de nouveaux concepts et à développer des outils d analyse appliqués aux sciences du vivant Lire la suite Inria D Grandmougin Prix Inria 2015 Véronique Cortier Prix Inria Académie des sciences du jeune chercheur AB Spécialiste des protocoles de sécurité Véronique Cortier imagine aujourd hui les solutions qui permettront demain de sécuriser notre vie numérique Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite

    Original URL path: http://www.inria.fr/centre/sophia (2015-12-30)
    Open archived version from archive

  • 24 et 25 novembre 2015 : 1ère convention d'affaires de l'Université Paris-Saclay sur les "big data" - Inria
    Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Présentation Recherche Innovation Accueil Centre Saclay Actualités Business Convention on Big Data Événement Charlotte Renauld 26 10 2015 24 et 25 novembre 2015 1ère convention d affaires de l Université Paris Saclay sur les big data L Université Paris Saclay organise une Convention d Affaires sur

    Original URL path: http://www.inria.fr/centre/saclay/actualites/business-convention-on-big-data (2015-12-30)
    Open archived version from archive

  • Europe - Inria
    numérique Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Europe Accueil Europe International Europe Partenariats européens Le mot de Thierry Priol Affirmer son rôle majeur au plan européen dans le domaine des sciences du numérique Thierry Priol directeur des partenariats européens Lire l interview de Thierry Priol Programmes européens Inria une ambition européenne De

    Original URL path: http://www.inria.fr/europe-international/europe (2015-12-30)
    Open archived version from archive

  • Relations internationales - Inria
    recherche Rechercher une équipe Mobilité internationale Stratégie Transfert Innovation Recrutement métiers UPMC L Ardhuin Prix Inria 2015 Benoît Perthame Grand Prix Inria Académie des sciences AB 24 09 2015 Mathématicien de premier plan Benoît Perthame est une personnalité clé de la communauté scientifique internationale Spécialiste des équations cinétiques il est un pionnier depuis les années 2000 du domaine des maths bio Sa modélisation mathématique de la théorie de l évolution de Darwin ses études sur le cancer ou l organisation de communauté cellulaires illustrent sa capacité à inventer de nouveaux concepts et à développer des outils d analyse appliqués aux sciences du vivant Lire la suite Inria D Grandmougin Prix Inria 2015 Véronique Cortier Prix Inria Académie des sciences du jeune chercheur AB Spécialiste des protocoles de sécurité Véronique Cortier imagine aujourd hui les solutions qui permettront demain de sécuriser notre vie numérique Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria

    Original URL path: http://www.inria.fr/europe-international/relations-internationales (2015-12-30)
    Open archived version from archive

  • Inria au cœur de la recherche européenne sur le Big Data - Inria
    Partenariats européens Inria acteur de la recherche européenne AB 22 08 2015 Inria rejoint l association Big Data Value Association BDVA qui coordonne le Partenariat Public Privé PPP européen sur les Big Data lancé au début de l année 2015 Lire la suite Actualités scientifiques Agenda scientifique Domaines de recherche Rechercher une équipe Mobilité internationale Stratégie Transfert Innovation Recrutement métiers UPMC L Ardhuin Prix Inria 2015 Benoît Perthame Grand Prix Inria Académie des sciences AB 24 09 2015 Mathématicien de premier plan Benoît Perthame est une personnalité clé de la communauté scientifique internationale Spécialiste des équations cinétiques il est un pionnier depuis les années 2000 du domaine des maths bio Sa modélisation mathématique de la théorie de l évolution de Darwin ses études sur le cancer ou l organisation de communauté cellulaires illustrent sa capacité à inventer de nouveaux concepts et à développer des outils d analyse appliqués aux sciences du vivant Lire la suite Inria D Grandmougin Prix Inria 2015 Véronique Cortier Prix Inria Académie des sciences du jeune chercheur AB Spécialiste des protocoles de sécurité Véronique Cortier imagine aujourd hui les solutions qui permettront demain de sécuriser notre vie numérique Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont

    Original URL path: http://www.inria.fr/actualite/actualites-inria/inria-acteur-de-la-recherche-europeenne (2015-12-30)
    Open archived version from archive

  • Rechercher une équipe - Inria
    sciences et technologies de l information et de la communication Depuis 2008 l Institut a mis en place une nouvelle classification de ses thèmes de recherche qui s articule autour de 5 domaines Objectif mieux décrire une activité scientifique en constante évolution Mathématiques appliquées calcul et simulation Schémas et simulations numériques ACUMES Analysis and Control of Unsteady Models for Engineering Sciences CAGIRE Computational Approximation with discontinous Galerkin methods and compaRison with Experiments CARDAMOM Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts DEFI Détermination de Formes Et Identification ECUADOR Transformations et outils informatiques pour le calcul scientifique GAMMA3 Génération automatique de maillages et méthodes avancées IPSO Méthodes numériques préservant les invariants MATHERIALS MATHematics for MatERIALS MEMPHIS Modeling Enablers for Multi PHysics and InteractionS MEPHYSTO Méthodes quantitatives pour les modèles aléatoires de la physique MOKAPLAN Avancées en calcul numérique des variations NACHOS Modélisation numérique et calcul intensif pour des problèmes d évolution en domaines complexes et milieux hétérogènes NANO D Algorithmes pour la Modélisation et la Simulation de Nanosystèmes POEMS Propagation des Ondes Étude Mathématique et Simulation RAPSODI Reliable numerical approximations of dissipative systems Approches stochastiques ASPI Applications statistiques des systèmes de particules en interaction CQFD Contrôle de Qualité et Fiabilité Dynamique MATHRISK Mathematical Risk handling TOSCA Simuler et calibrer des modèles stochastiques Optimisation apprentissage et méthodes statistiques DOLPHIN Optimisation multi critère parallèle coopérative GEOSTAT Géométrie et statistiques dans les données d acquisition INOCS Integrated Optimization with Complex Structure MISTIS Modélisation et Inférence de phenomenes aléatoires complexes et structures MODAL MOdel for Data Analysis and Learning REALOPT Reformulations et algorithmes pour l Optimisation combinatoire SELECT Sélection de modèles en apprentissage statistique SEQUEL Sequential Learning SIERRA Apprentissage Statistique et Parcimonie TAO thème Apprentissage et Optimisation Optimisation et contrôle de systèmes dynamiques APICS Analyse et problèmes Inverses pour le Contrôle et le Signal BIPOP Modélisation Simulation Commande et Optimisation des Systèmes Dynamiques Non Réguliers COMMANDS Controle Optimisation modèles Méthodes et Applications pour les Systèmes Dynamiques non linéaires DISCO Systèmes dynamiques interconnectés dans des environnements complexes GECO Geometric Control Design I4S Inférence Statistique pour la Surveillance et la Sécurité des Structures MAXPLUS algèbres max plus et mathématiques de la décision MCTAO Mathématiques pour le Contrôle le Transport et leurs Applications NECS Systèmes Commandés en Réseau NON A Non Asymptotic estimation for online systems QUANTIC QUANTum Information Circuits SPHINX System with physical heterogenities inverse problems numerical simulation control and stabilization Algorithmique programmation logiciels et architectures Preuves et vérification ANTIQUE Analyse Statique par Interprétation Abstraite CELTIQUE Certification de logiciel par analyse sémantique DEDUCTEAM Deduction modulo interopérabilité et démonstration automatique ESTASYS Efficient STAtistical methods in SYstems of systems GALLIUM Langages de programmation types compilation et preuves MARELLE Mathématiques Raisonnement et Logiciel MEXICO Modeling and Exploitation of Interaction and Concurrency PARSIFAL Recherche de preuve et raisonnement sur des spécifications logiques PI R2 Conception étude et implémentation de langages pour les preuves et les programmes SUMO SUpervision of large MOdular and distributed systems TOCCATA Certified Programs Certified Tools Certified Floating Point Computations VERIDIS Modeling and Verification of Distributed Algorithms and Systems Sécurité et confidentialité CARTE Théorie des calculs adverses et sécurité CASSIS Combinaison d approches pour la sécurité des systèmes infinis COMETE Concurrence Mobilité et Transactions DECENTRALISE DECENTRALISE DICE Données sur l Internet au coeur de l Economie PRIVATICS Modèles architectures et outils pour la protection de la vie privée dans la société de l information PROSECCO Programming securely with cryptography Algorithmique calcul formel et cryptologie ARIC Arithmétiques des ordinateurs méthodes formelles génération de code CARAMEL Cryptologie Arithmétique Matériel et Logiciel CASCADE Conception et Analyse de Systèmes pour la Confidentialité et l Authentification de Données et d Entités GALAAD2 Géométrie Algèbre Algorithmes GEOMETRICA Calcul géométrique GRACE Geometry arithmetic algorithms codes and encryption LFANT Théorie algorithmique des nombres rapide et flexible OURAGAN OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs POLSYS Polynomial Systems SECRET Sécurité Cryptologie et Transmissions SPECFUN Symbolic Special Functions Fast and Certified VEGAS Algorithmes géométriques effectifs pour la visibilité et les surfaces Systèmes embarqués et temps réel AOSTE modèles et méthodes pour l analyse et l optimisation des systèmes temps réel embarqués CONVECS Construction de systèmes concurrents vérifiés HYCOMES Modélisation hybride conception par contrats pour les systèmes embarqués multi physiques MUTANT Synchronous Realtime Processing and Programming of Music Signals PARKAS Parallélisme de Kahn Synchrone POSET Modèles pour la Programmation Structurée de l Espace et du Temps SPADES Programmation de systèmes embarqués sûrs et adaptatifs TEA Time Events and Architectures Architecture langages et compilation ALF La loi d Amdahl est pour toujours ATEAMS Analyse et Transformation a base des composition fideles des outils CAIRN Systèmes sur puce reconfigurables architectures algorithmes et compilation CAMUS Compilation pour les Architectures MUlti coeurS COMPSYS Compilation et systèmes embarqués de calcul CORSE compiler optimization and run time systems DREAMPAL Dynamic Reconfigurable Massively Parallel Architectures and Languages POSTALE Performance Optimization by Software Transformation and Algorithms Librairies Enhancement TASC Theory Algorithms and Systems for Constraints Réseaux systèmes et services calcul distribué Réseaux et télécommunications COATI Combinatoire Optimisation et Algorithmes pour les Télécommunications DANTE Réseaux dynamiques approche structurelle et temporelle DIANA Conception Mise en oeuvre et Analyse d Architectures Réseau DIONYSOS Analyse de sûreté de fonctionnement d interopérabilité et de performances de réseaux DYOGENE Dynamics of Geometric Networks EVA Wireless Networking for Evolving Adaptive Applications FUN self organizing Future Ubiquitous Network GANG Réseaux graphes et algorithmes INFINE INFormation NEtworks MADYNES Supervision des réseaux et services dynamiques MAESTRO modèles pour l analyse des performances et le contrôle des réseaux RAP Réseaux algorithmes et probabilités SOCRATE Radio logicielle et radio cognitive pour les télécommunication URBANET Réseaux capillaires urbains Systèmes distribués et intergiciels ASAP As Scalable As Possible fondements des systèmes large échelle dynamiques ATLANMODELS Modeling Technologies for Software Production Operation and Evolution CIDRE Confidentialité Intégrité Disponibilité et Répartition COAST Web Scale Trustworthy Collaborative Service Systems CTRL A Automatique pour l informatique autonomique MIMOVE Middleware on the Move MYRIADS Conception et mise en oeuvre de systèmes distribués autonomes REGAL Répartition et gestion d applications à large échelle SCALE Safe Composition of Autonomous applications

    Original URL path: http://www.inria.fr/recherches/structures-de-recherche/rechercher-une-equipe (2015-12-30)
    Open archived version from archive

  • Véronique Cortier : Prix Inria - Académie des sciences du jeune chercheur - Inria
    secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Inria en bref Accueil Institut Inria en bref Prix Inria Lauréats 2015 Véronique Cortier Prix du jeune chercheur Sélection Présentation Lauréats 2015 Lauréats 2014 Lauréats 2013 Lauréats 2012 Prix Inria 2015 AB Véronique Cortier Prix Inria Académie des sciences du jeune chercheur Inria D Grandmougin Spécialiste des protocoles de sécurité Véronique Cortier imagine aujourd hui les solutions qui permettront demain de sécuriser notre vie numérique Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Je suis contre le vote électronique pour les élections politiques lance d entrée de jeu Véronique Cortier directrice de recherche CNRS et membre de l équipe projet CASSIS à Nancy Paradoxalement ce sont pourtant ses travaux sur la sécurisation des protocoles de vote électronique qui ont le plus contribué à sa renommée croissante au niveau européen Le vote électronique est utilisé de plus en plus fréquemment pour des scrutins de moindre envergure dans le monde associatif syndical ou universitaire explique t elle Mais le principe gagne du terrain et tôt ou tard le vote électronique concernera les élections politiques majeures La démocratie en ligne va dans le sens de l histoire La sécurisation des protocoles de vote est donc un enjeu majeur pour nos sociétés Il est de ma responsabilité de mettre mes connaissances au service de l émergence de protocoles fiables et réellement sécurisés garantissant à la fois l intégrité et la confidentialité des votes Sécuriser la vie en ligne Fille de deux professeurs de mathématiques Véronique Cortier a rapidement été séduite par la dimension ludique des mathématiques Dès le collège j aimais résoudre des énigmes

    Original URL path: http://www.inria.fr/institut/inria-en-bref/prix-inria/laureats-2015/veronique-cortier-prix-du-jeune-chercheur (2015-12-30)
    Open archived version from archive