Prix de thèse et accessits du GDR GPL
Distinctions Informatique

Prix de thèse du GDR GPL : des travaux sur la vérification formelle récompensés

Résultats scientifiques Informatique

Geoffroy Couteau, invité du podcast "Qu'est-ce que tu cherches ?"

Illustration des marchés financiers
CNRS la Lettre innovation
Informatique

Quantum Signals : l’IA et le quantique face aux marchés financiers

https://www.cnrsinnovation.com/actualite/quantum-signals-lia-et-le-quantique-fa…
Conteneurs pour illustrer la logistique
CNRS la Lettre innovation
Informatique

La deeptech Atoptima : l’optimisation mathématique au service d’une logistique durable

https://www.cnrsinnovation.com/actualite/la-deeptech-atoptima-loptimisation-mat…
Illustration de voitures autonomes
CNRS la Lettre innovation
Informatique

Voiture autonome : le projet européen ERASMO fait travailler ensemble CNRS et industriels

https://www.cnrs.fr/fr/actualite/voiture-autonome-le-projet-europeen-erasmo-fai…
Illustration d'un spam
CNRS la Lettre innovation
Informatique

Un laboratoire du CNRS et Signal Spam s’allient pour mieux combattre le phishing

https://www.cnrs.fr/fr/actualite/un-laboratoire-du-cnrs-et-signal-spam-sallient…
Informatique

Explorer, modéliser, optimiser avec Sandra Ulrich Ngueveu

Élodie Germani
Distinctions Informatique

Élodie Germani : « La programmation est devenue un tel plaisir que je mène des projets en dehors de mon travail. »

photo de Michel Beaudouin-Lafon
Distinctions Informatique

Michel Beaudouin-Lafon élu à l'Académie des Sciences

International Informatique

Stabiliser les systèmes complexes grâce à l'effet du retard

S'abonner à Informatique