Je suis ingénieure 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
Manuscrit de thèse
Mon manuscrit de thèse en français
ici
Publications
Note : Les publications sont au nom de Louis Noizet, prénom
que je portais avant mon changement de prénom à l'état civil.
-
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 : (λ xyzt · t.x@z.y) noizet fr inria
victoire (indice)
Ma clef OpenPGP
