Projets de recherche

Ces projets visent à initier à la recherche, et ceux que je propose sont dans le domaine de la modélisation de systèmes à l'aide d'outils de logique formelle.

Projets Fabrique

Les projets Fabrique sont des projets qui mêlent conception mécanique, avec réalisation à la Fabrique en impression 3D ou en découpe laser, un peu d'électronique pour s'interfacer avec les capteurs et actionneurs, de la programmation de micro-contrôleurs (Arduino ou MicroPython) pour contrôler l'électronique, et de la programmation sur ordinateur classique pour l'interface utilisateur et les opérations plus complexes.

Cette année (2020-2021), je propose un seul projet Fabrique.

Voici quelques exemples de réalisations des années précédentes.