Development of a random well-typed program generator supporting polymorphism, IRIF, 2025.
Supervised by Gabriel Scherer. See GitHub and Report.
Implementation of a normalizing reduction machine for the lambda calculus, LMF, 2024.
Supervised by Thibaut Balabonski. See GitHub and Report.
Study on the completion of single-relation word rewriting systems, LIX, 2025.
Supervised by Samuel Mimram. See GitHub and Report.
Development of a compiler producing bytecode for the WebAssembly machine, LMF, 2024.
Supervised by Thibaut Balabonski. See GitHub and Report.