Description du stage
Le stage vise à fournir des outils pratiques et méthodologiques tout en les plaçant dans un contexte théorique.
Il s’articule en trois parties :
- Les bases d’OCaml : paradigmes de programmation, modèle théorique, outils et environnement
- Méthode de programmation : bonnes pratiques, structures de données, séparation des préoccupation, tests
- Mise en pratique sur les automates et la compilation
Le stage sera assuré entièrement en distanciel, par visioconférence.
Public visé
Professeurs de CPGE de première année et de deuxième année, enseignant l’informatique en option ou en section MPI.
Intervenants
- Fabien Dagnat, maître de conférences HDR
- Jean-Christophe Bach, maître de conférences
Tous les deux enseignants-chercheurs dans le domaine du génie logiciel et plus particulièrement sur la production de logiciels de qualité, sûrs et sécurisés. Leurs enseignements et leur recherche portent, entre autres, sur les langages de programmation, la compilation, la vérification de programmes...
Pour plus de renseignements il est possible de les contacter par email.