Voici quelques propositions de stages/projets à différents niveaux et de styles différents n'hésitez pas à me contacter pour de plus amples informations et discuter d'autres sujets possibles.
Stages
- Preuve de conformité d'un programme de construction géométrique (.pdf) (co-encadré avec Pascal Schreck)
- Théorie des preuves diagrammatiques (.pdf)
- Génération automatique de contre-exemples (co-encadré avec Nicolas Magaud) (.pdf)
- Symétrie des preuves (co-encadré avec Nicolas Magaud et Pascal Schreck) (.pdf)
- Bibliothèque pour le traitement d'images de manière non-destructive (.pdf)
- Construction d'un validateur de transformations linéaires (co-encadré avec Eric Violard) (.pdf)
- Detection de boucles parfaites (co-encadré avec Eric Violard) (.pdf)
