Xavier Leroy

Enseignements

Sciences du logiciel
18 cycles

2025 - 2026

Cours

Le calcul sécurisé : calculer sur des données chiffrées ou privées

Xavier Leroy
→
→
Séminaire

Le calcul sécurisé : calculer sur des données chiffrées ou privées

Xavier Leroy
→
→

2024 - 2025

Cours

L'enseignement n'a pas lieu cette année

Xavier Leroy

2023 - 2024

Colloque

L'IA et ses défis

Philippe Aghion, Xavier Leroy, Benoît Sagot
Cours

Structures de contrôle : de « goto » aux effets algébriques

Xavier Leroy
→
→
Séminaire

Structures de contrôle : de « goto » aux effets algébriques

Xavier Leroy
→
→

2022 - 2023

Cours

Structures de données persistantes

Xavier Leroy
→
→
Séminaire

Structures de données persistantes

Xavier Leroy
→
→

2021 - 2022

Cours

Sécurité du logiciel : quel rôle pour les langages de programmation ?

Xavier Leroy
→
→
Séminaire

Sécurité du logiciel : quel rôle pour les langages de programmation ?

Xavier Leroy
→
→
Colloque

Probabilistic Programming

Xavier Leroy
→
→

2020 - 2021

Cours

Logiques de programmes : quand la machine raisonne sur ses logiciels

Xavier Leroy
→
→
Séminaire

Logiques de programmes : quand la machine raisonne sur ses logiciels

Xavier Leroy
→
→

2019 - 2020

Cours

Sémantiques mécanisées : quand la machine raisonne sur ses langages

Xavier Leroy
→
→
Séminaire

Sémantiques mécanisées : quand la machine raisonne sur ses langages

Xavier Leroy
→
→

2018 - 2019

Leçon inaugurale
-

Le logiciel, entre l'esprit et la matière

Xavier Leroy
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-
Cours

Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui

Xavier Leroy
→
→
Séminaire

Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui

Xavier Leroy
→
→