Other works

This section lists some unpublished works.
It contains technical reports, relatively recent internship reports, but also (for fun!) older student projects.

  1. M.S. Thesis
    Automated Approximate Recurrence Solving applied to Static Analysis of Energy Consumption
    Louis Rustenholz
    MPRI and École polytechnique (Master internship report), Aug 2022
    CLIP Lab, IMDEA Software Institute, Madrid, Spain
    Supervised by M.V. Hermenegildo, P. Lopez-Garcia, and J. F. Morales.
    PDF Slides
  2. M.S. Thesis
    Categories and Preorders in Value Iteration: Fixed Points and Surrogate Models
    Louis Rustenholz
    École polytechnique (Master internship report), Aug 2021
    ERATO MMSD, National Institute of Informatics, Tokyo, Japan
    Supervised by Ichiro Hasuo and Jérémy Dubut.
    Best Research Internship PDF Slides
  3. Internship
    Internship at OCamlPro
    Louis Rustenholz
    École polytechnique , Aug 2020
    Work for the SMT-solver Alt-Ergo. Web-based environment, tutorial, documentation.
    Supervised by Albin Coquereau.
    HTML
  4. B.S. Thesis
    L’équation aux S-unités – Voyage géométrique en théorie des nombres
    Khalil Bendriss, Paul Boisseau, Adam David, Félix Rebotier, and Louis Rustenholz
    École polytechnique , Apr 2020
    Year 2 project at École polytechnique (PSC). Compiled in a book at Éditions Ellipses.
    Supervised by Diego Izquierdo.
    PDF Slides
  5. Internship
    Internship at Direction Générale de l’Armement
    Louis Rustenholz
    École polytechnique , Apr 2019
    Design of chemico-physical models and simulations working towards a patent.
  6. B.S. Thesis
    Neural networks: Expressivity and Implicit Spaces
    Louis Rustenholz
    Lycée Louis-le-Grand , Jun 2018
    Undergraduate research project (Classes Préparatoires, TIPE). Included here: ENS report (pdf) and Mines-Ponts slides.
    PDF Code Slides
  7. Misc
    Jeu sur intervalle
    Louis Rustenholz with Cercle Mathématique de Strasbourg
    May 2016
    Paper for a high-school math research competition (TFJM²) – c.f. outreach page. Problems for the 2016 edition
    PDF
  8. Misc
    Applying nanotechnology to medicine: the fight against cancer
    Nicolas Wendling, and Louis Rustenholz
    Jun 2014
    High-school research project (TPE). Website on DNA origami nanorobots.