Présentation

Cette page recueille différents projets réalisés dans divers contextes au cours de mes études. Ils sont classés antichronologiquement.

Projet M1

Au cours de cette année de M1 je travaille aux côtés de Timothée Haudebourg et Thomas Genet pour les aider à implémenter un outil de vérification formelle légère. Cet outil s'appuie sur les automates d'arbres et les systèmes de réécriture, il a pour but de permettre des batteries de tests sur les programmes dont une entrée sera donnée sous forme d'une expression rationnelle. Cela permettrait de vérifier formellement un nombre infini de cas, et ce sous forme de test, d'où "Vérification formelle légère".

Stage de recherche

L'été 2019 a été l'occasion pour moi de réaliser mon premier stage de recherche, qui prit place au sein de l'équipe SUMO à l'INRIA de Rennes. J'y ai travaillé sur un algorithme de synthèse de réseau de Petri dans le but d'en générer de plus simples.

Interprète Lisp

Dans le cadre d'un cours de programmation, j'ai été amené à étudié le langage Lisp, et à en coder dans équipe de trois un interprète en C++. Coder en C++ un interprète pour un langage très fonctionnel m'a permis par la pratique de bien cerner la notion de sémantique de langages. L'interprète en lui même est plutôt simple, sa fonctionnalité la plus originale est la suggestion de corrections quand une variable est inconnue.

Autres projets : raytracing et triangulation de Delaunay.

Dans le cadre de ce cours de programmation, nous avons développé par équipe de quatre un moteur graphique léger de synthèse d'image basé sur le raytracing. Il implémente quelques phénomènes optiques de base dont la réflexion.

Le premier projet de ce cours consistait à implémenter la triangulation de Delaunay pour un ensemble de points du plan.