Recherche

Responsable d'équipe : Pierre Ramet L’équipe Satanas a pour objectif de contribuer à la réalisation efficace de simulations frontières issues de
La chaire Mobilité et Transports Intelligents organise la journée « (Cyber) sécurité et sureté des mobilités connectées » - mardi 10 mai à 11h
Le LaBRI a de nombreux projets collaboratifs structurants dont certains d’entre eux couvrent plusieurs thématiques scientifiques (c’est le cas
L’ANSSI (Agence nationale de la sécurité des systèmes d'information) vient de certifier un troisième outil sécurisé de type Dropbox. Parsec, la
Bien qu’il s’agisse d’un problème très ancien, la parité-égalité homme/femme n’est apparue que récemment dans les directives de nos tutelles
Responsable d'équipe : Romain Bourqui (adj. Patricia Thébault) L’équipe Bench To Knowledge and Beyond (BKB) mène des recherches théoriques et
Simon Labarthe (CR INRAe) Modeling the gut microbiota from metagenomic data.
Les assistants de preuve sont particulièrement utiles dans la vérification de composants matériels ou logiciels, et ce pour des propriétés
C’est avec une grande tristesse que nous apprenons la disparition de Jean-Guy Penaud, ancien membre du LaBRI et de l’UF Info. Toutes nos pensées vont