J'étudie en doctorat depuis octobre 2019 à l'Université de Rennes 1 et à l'IRISA dans l'équipe Celtique, sous la direction
d'Alan
Schmitt.
Mon sujet provisoire de doctorat est «Conception d'un
schéma formel de représentation permettant de manipuler des
sémantiques».
Dans ce cadre, je travaille notamment au développement de
l'outil necro.
Vous trouverez ici mon CV (dernière mise à jour avant le début de mon doctorat)
Publications
-
Adam Khayam, Louis Noizet et Alan Schmitt, JSkel: Towards a
Formalization of Javascript's Semantics, JFLA 2021 - Journées Francophones des Langages
Applicatifs, Avr. 2021. pp.95-116 (lien).
-
Louis Noizet et Alan Schmitt, Formalisation de Sémantiques
Squelettiques, JFLA 2020 - Journées Francophones des Langages
Applicatifs, Jan. 2020, Gruissan, France. pp.1-14 (lien).
-
Olivier Devillers et Louis Noizet, Walking in a Planar
Poisson-Delaunay Triangulation: Shortcuts in the Voronoi Path,
International Journal of Computational Geometry and
Applications, World Scientific Publishing, 2018, 28 (3),
pp.255-269 (lien).
Contact
Mon adresse électronique : prenom [point] nom [arobase] irisa [point] fr
Ma clef OpenPGP