Archive

[Stage Liesse] OCaml en détail

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

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.