Je suis ingénieur de recherche depuis octobre 2022 à l'INRIA dans l'équipe Épicure.
Je travaille au développement du langage Skel et de l'outil
necro.
Vous trouverez ici mon CV (dernière mise à jour avant le début de mon doctorat)
Manuscrit de thèse
Mon manuscrit de thèse en français
ici
Publications
-
Adam Khayam, Louis Noizet et Alan Schmitt, A Faithful description
of ECMAScript algorithms, PPDP 2022 - International Symposium
on Principles and Practice of Declarative Programming, Sep.
2022. (lien).
-
Louis Noizet et Alan Schmitt, Semantics in Skel and Necro,
ICTCS 2022 - Italian Conference on Theoretical Computer Science Sep.
2022. (lien).
-
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