Page personnelle de Aloys Paupe

Informations personnelles

Je suis actuellement étudiant en première année au département d'informatique de l'ENS Rennes. Vous pouvez trouver mon cv ici.

Projets

Génération de parcours de course à pied

Dans le cadre de mon TIPE de 3/2, j'ai participé à la conception d'un programme qui génère des parcours de course à pied en fonction de paramètres indiqués par l'utilisateur. Il reposait sur un algorithme d'optimisation d'une fonction de coût décrivant la qualité du parcours (quantité d'arbres, de bancs, proximité à une surface d'eau etc.) selon des paramètres entrés par l'utilisateur. L'optimisation se faisait par un algorithme de type Branch-And-Bound, et les données nécessaires étaient récupérées d'OpenStreetMap par un script Python, avant d'être converties pour traitement en Ocaml.

Polyominos

Dans le cadre de mon TIPE de 5/2, j'ai étudié la pavabilité des polyominos. J'ai commencé par la caractérisation de Beauquier et Nivat des polyominos qui pavent le plan (en implémentant l'algorithme de Gambini et Vuillon qui les reconnaît). Puisque dire si un ensemble de polyominos pave le plan est indécidable, j'ai implémenté l'algorithme des liens dansants de Donald Knuth pour déterminer si un ensemble de polyominos peut paver une surface finie.

Musique

En plus de mes cours à l'ENS Rennes je joue du piano et compose des morceaux.

Go [En cours]

Je joue au jeu de Go et suis en train de développer un programme permettant d'y jouer et de réviser des josekis. Il est codé en Ocaml, avec un affichage et une intéraction avec l'utilisateur par la librairie graphics.

Pretty printing [En cours]

Je code souvent en Ocaml et j'ai régulièrement des problèmes pour afficher des structures d'arbre lorsque j'en utilise. J'ai donc décidé de coder des fonctions de pretty printing d'arbres réutilisables. Pour l'instant, elles ne sont applicables que sur des arbres binaires.

Parseur d'arbres [En cours]

Ce projet correspond plus au moins au projet complémentaire du précédent. De même qu'il n'est pas agréable de visualiser les arbres sous leur syntaxe Ocaml, il n'est pas forcément agréable non plus d'en écrire. J'ai donc décidé de faire un parseur en ligne qui permet de dessiner plutôt facilement des arbres simples et de générer leur syntaxe Ocaml. Pour l'instant, le parseur ne permet que de dessiner des arbres binaires. L'outil est disponible ici.

Contact

Vous pouvez me contacter via mon adresse e-mail: aloys.paupe[at]ens-rennes.fr.