Sylvain Chiron

Étudiant en Master 2 Informatique à l’Université de Bordeaux, 2024–2025

Mardi 22 octobre 2024

Master 1 Informatique

Stage sur la logique Bunched Implication (juin–juillet 2024)

UE S7 Complexité et calculabilité

UE S8 Introduction à la vérification

Licence 3 Informatique

Stage sur GenGraph (mai–juin 2023)

UE S5 Algorithmique des graphes

UE S5 Modèles de la programmation et du calcul

UE S5 Programmation orientée objet

UE S5 Programmation système