- Présentation
- Rubriques
- Science Info Lycée Profs : conférences de formation des professeurs du secondaire en science informatique.
- Colloquium Jacques Morgenstern
- Science Info Lycéens : contenus d'enseignements pour les lycéens en science informatique.
- Forum des lauréats en informatique et mathématiques appliquées 2013
- Inria Joint Laboratory
- Les enjeux du Web 3.0 dans le secteur culturel
- Colloque Interfaces
- Cours en ligne
- Rencontres autour d'un sujet scientifique : Unithé ou café
- Séminaires scientifiques
- ERC Nemo
- Partenaires
- Contact
Colloquium Jacques Morgenstern
Description
Recherches en science du numérique - nouveaux thèmes scientifiques, nouveaux domaines d’application, et enjeux
Conférence
Modern programming languages such as Java, Scala, and Rust are examples of concurrent higher-order imperative programming languages.
Recently, many societies seem to shift towards more polarization and volatility in opinions, for example in attitudes about immigration, climate policy, or the best policy response to Covid-19. A
Recently, many societies seem to shift towards more polarization and volatility in opinions, for example in attitudes about immigration, climate policy, or the best policy response to Covid-19. A
The history of computing tells us that computers can be made of almost anything: silicon, gears and levers, neurons, flowing water, interacting particles or even light. Although lithographically
Over the past decade, and particularly over the past five years, research at the interface of topology and neuroscience has grown remarkably fast. Topology has, for example, been successfully applied
Computer vision has made impressive gains through the use of deep learning models, trained with large-scale labeled data. However, labels require expertise and curation and are expensive to collect.
Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel
In recent years, concurrent Kleene algebra (CKA), an extension of Kleene Algebra (KA) that includes concurrent composition as a first-class citizen, has been proposed by Hoare et al. as a setting to
In 1960 Rudolph Kalman published what is arguably the first paper to develop a systematic, principled approach to the use of data to improve the predictive capability of mathematical models. As our
Data produced by the domain of life sciences in the next decade are expected to be highly challenging. In addition to scalability issues which are shared with other applications domains, data produced
The field of quantum information processing (quantum computation and quantum communication) has grown considerably in recent decades. Numerous proof-of-principle experiments on small-scale quantum
The traditional theory of social choice offers no acceptable solution to the problems of how to elect, to judge, or to rank. The classical model —transforming the “preference lists” of
Intervenants
Professeur en mathématiques à l'École polytechnique fédérale de Lausanne (EPFL) (en 2020)
Titulaire du doctorat de Sciences : Mathématiques et fondements de l'informatique.
Auteur d'une thèse en Mathématique et automatique à l'Ecole des Mines de Paris. Directeur de Recherche à INRIA Paris (équipe-projet Quantic) en 2019
Auteur d'une thèse de doctorat en Mathématiques soutenue en 2000 à l'Université de Paris 6
Ingénieur diplômé de l’École polytechnique (X93)