Aurore Alcolei
- Teaching
Home
Research
Teaching
Médiation
Contact
CV (fr)
Teaching
Atelier
Débattre en classe de l'usage de LLMs
(page en construction)
2023 - 2024
S2:
Introduction à la programmation distribuée
(lectured by
Yoann Maurel
)
2022 - 2023
S1:
Algorithmique et Structure des Données
(lectured by
Lamia Benamara
)
S1:
Programmation fonctionnelle
(lectured by
Julien Cervelle
)
S1:
Programmation mobile (Android)
(lectured by
Julien Grange
)
2020 - 2021
Python Programming
(tutorship course for
BBS Bologna
)
2018 - 2019
Mathinfoly Summer school
:
Introduction à la logique
(
exercises
) (lectured by
Pascal Lafourcade
)
Writing and Verifying Functional Programs in Coq
(lectured by
Cătălin Hrițcu
)
Théorie des Langages Rationnels
(intensive course at
EPITA Lyon
)
2017 - 2018
S1:
Compilers and Programm Analysis
(lectured by
Laure Gonnord
)
S2:
Introduction aux réseaux et au web
(lectured by
Olivier Glück
)
S2:
Proofs and Programs
(lectured by
Philippe Audebaud
)
2016 - 2017
S1:
Types
(lectured by
Andrew Pitts
)
S2:
Projet 2
(lectured by
Daniel Hirschkoff
)
S2:
Proofs and Programs
(lectured by
Philippe Audebaud
)
Material
Proof and Programs:
TD1:
Pure lambda-calculus
(some
solutions
)
TD2:
Natural deduction
(
coq
) (some
solutions
)
TD3:
The heart of Curry-Howard
TD4:
Curry-Howard Expansion
(some
solutions
)
TD5:
Polymorphism
TD6:
System F
TD7:
Inductive types
TD8:
Equalities
TD9:
Equivalences
TD10:
Revisions
For other courses please refer to the dedicated webpages
