Étudiant en informatique à l'ENS Rennes
Je suis actuellement étudiant et mon but est de faire de la recherche en informatique.
Je suis passionné par l'informatique en général mais je suis particulièrement intéressé par les domaines de la théorie des langages, la vérification et l'ingénierie logicielle.
Je mène souvent des projets pour le défi et le plaisir de résoudre des problèmes.
L'informatique n'est pas ma seule passion, je pratique aussi régulièrement de l'escalade, les sports de glisse et je joue du saxophone.
Le Master Parisien de Recherche en Informatique (MPRI) est un master de recherche en informatique fondamentale.
Son objectif est de former les futurs scientifiques grâce à une exposition intensive à la recherche contemporaine dans les fondements de l'informatique.
Plus d'informations ici.
Ce stage a été effectué dans le cadre du parcours recherche de l'ENS Rennes.
Stage de 5 mois à l'Université de Vienne (TU Wien), encadré par Maria Christakis en collaboration avec Valentin Wüstholz, Christoph Hochrainer et Sebastian Watzinger.
Le stage portait sur le développement d'une nouvelle version de CircIl, un langage intermédiaire générique pour appliquer facilement des méthodes de fuzzing à plusieurs machines virtuelles Zero-Knowledge sans besoin de nouvelle implémentation.
Ce stage a été effectué dans le cadre du parcours recherche de l'ENS Rennes.
Stage de 4 mois dans l'équipe Sycomores de l'INRIA Lille encadré par Raphaël Monat et Julien Forget.
Les interpréteur de code sont des logiciels complexes qui contiennes des bugs difficiles à trouver. Étand donné une divergence de résultat entre deux implémentations d'un intérpréteur, nous voulons déterminer le premier état de divergence. Nous présentons ainsi une approche pour automatiquement localiser lesdits points dedivergences au traver d'une approche agnostique a l'intérpréteur ou au langage interprété. Cette approche a été pour le moment été appliquée a l'interpréteur abstrait Mopsa sur les GNU Coreutils.
Le rapport de stage est disponible ici.
Open Verification Dashboard: Are we done analyzing that?
Stage de 8 semaines dans le département informatique de l'université de Tartu., encadré par Vesal Vojdani.
Ce stage a mené a la publication d'un article: Comparing Transparent Static Analyzers with Open Verification Dashboard
It is a Small World : Precision Micromanipulation Applications for Multi-Robot Magnetic Systems
Ce projet est un projet de recherche faisant partie de la formation à l'ENS.
Le projet est réalisé dans l'équipe RAINBOW de l'INRIA Rennes.
Il est encadré par Claudio Pacchierotti en collaboration avec Leon Raphalen et Marco Ferro.
et porte sur la manipulation de microsphères magnétiques. Pour plus d'informations, vous pouvez consulter le site officiel du projet REGO.
Le rapport de stage est disponible ici.
Stage de 9 semaines dans l'équipe EPICURE de l'INRIA Rennes encadré par Benoit Montagu et Pierre Lermusiaux.
Le stage portait sur l'application de l'approche "property based testing" a l'analyseur statique Salto développé par l'équipe.
Le rapport de stage est disponible ici.
Je voulais me familiariser avec les compilateurs JIT, alors j'ai naturellement choisi un langage simple mais complètement farfelu pour rendre le tout plus intéressant. C'étais une occasion de faire quelque chose pour apprendre mais de manière non conventionnelle parce que c'est plus drôle comme ça. C'est un compilateur JIT pour le langage Brainfuck écrit en OCaml qui compile le Brainfuck en assembleur x86_64 et l'exécute directement.
RPNlang est un langage de programmation basé sur la notation polonaise inversée. Il est interprété en C++ et est entièrement interopérable avec du code C++ via un système de modules.
Ce package Typst permet de faire le rendu de graphes Graphviz dans un document typst via le langage dot. Ce package a été réalisé avec Malo Monin affin de nous permettre de prendre des notes de cours plus facilement.
Petit utilitaire en ligne de commande écrit en OCaml qui permet de dériver des fonctions mathématiques. Les formules sont ensuite factorisées le plus possible.
Ce projet est un petit moteur de rendu 3D cpu en C++. Il est capable de charger des modèles 3D et de les annimer. Le but ici était d'expérimenter le rendu 3D et de comprendre les mathématiques sous jacentes.
Une interface web pour pouvoir manipuler et tester des grammaires non contextuelles. Le projet permet de visualiser les arbres de dérivation et de générer des mots dynamiquement a partir d'une grammaire. La démo est disponible ici.
Vous pouvez m'envoyer un mail à prenom.nom@ens-rennes.fr
Robotechnic