Talk to sales Try for Free
Louis Rustenholz

Louis Rustenholz

Officer candidate

Followers of Louis Rustenholz352 followers
location of Louis RustenholzMadrid, Community of Madrid, Spain

Connect with Louis Rustenholz to Send Message

Connect

Connect with Louis Rustenholz to Send Message

Connect

  • Timeline

  • About me

    PhD Student at IMDEA Software Institute

  • Education

    • Lycée Henri Meck, Molsheim

      2015 - 2016
      Baccalauréat Sciences: elective in biology, specialized in maths Baccalaureate with High Honors

      Research project: "Applying nanotechnology to medicine: the fight against cancer".

    • Rotary Youth Exchange

      2014 - 2015
      Full-year cultural and linguistic exchange in host families.

      Exchange program in Tasmania, Australia.Studies at Launceston College.

    • Lycée Louis-le-Grand

      2016 - 2018
      MPSI/MP* Mathematics, Physics, Computer Science

      A two-year intensive program in science to prepare for nationwide competitive exams.Research project: "Neural Networks: Expressivity and Implicit Spaces".

    • École Polytechnique

      2018 - 2022
      Master of Sciences (M.Sc.) / Cycle Ingénieur Polytechnicien Major in Computer Science and Mathematics

      Activities and Societies: Member of the climbing section. President of the speleology association. Various musical activities. Research projects: * Geometrical Number Theory and the S-Unit equation, under the supervision of Diego Izquierdo (book published at Éditions Ellipses). * Verification of neural networks by abstract interpretation and tropical geometry, under the supervision of Éric Goubault and Sylvie Putot (paper published at SAS21).

    • Université de Paris

      2021 - 2022
      Master 2 (M2) - Master Parisien de Recherche en Informatique

  • Experience

    • Marine Nationale

      Sept 2018 - Sept 2018
      Officer candidate

      1-month military leadership training course, as part of Polytechnique's military training.

    • DGA - Direction générale de l'armement

      Oct 2018 - Apr 2019
      R&D Engineer Intern

      6-month military internship. Organized military training sessions.Designed chemico-physical models and simulations working toward a patent.

    • École Polytechnique

      Mar 2020 - Apr 2022
      MOOC Author

    • OCamlPro

      Jun 2020 - Aug 2020
      R&D Engineer Intern

      Worked with the Formal Methods team on the SMT-solver Alt-Ergo.Created a documentation, an interactive tutorial and a browser interface.

    • Éditions Ellipses

      Sept 2020 - Sept 2021
      Author

      During my second year at Polytechnique, I wrote with 4 other students a book on geometrical number theory, under the supervision of Diego Izquierdo.

    • National Institute of Informatics

      Apr 2021 - Aug 2021
      Research Intern

      Research Internship at ERATO MMSD, under the supervision of Ichiro Hasuo and Jérémy Dubut, on the theory of probabilistic model-checking."Categories and Preorders in Value Iteration: Fixed Points and Surrogate Models"Obtained Polytechnique's "Prix du stage de recherche"

    • Lycée Louis-le-Grand

      Sept 2021 - Apr 2022
      Oral Examiner

      Oral Examiner in Computer Science for undergraduates preparing for Grandes Ecoles examinations.

    • IMDEA Software Institute

      Mar 2022 - now

      Supervised by Manuel Hermenegildo and Pedro López-García Working on automated analysis of the resource consumption of programs, under the supervision of Manuel Hermenegildo, Pedro López-García, and José F. Morales.A focus is placed on energy consumption and on abstract interpretation techniques.

      • PhD Student

        Oct 2022 - now

      • Research Intern

        Mar 2022 - Sept 2022

  • Licenses & Certifications

    • TOEIC 985

      TOEIC® Program
      Nov 2019

  • Volunteer Experience

    • Organizer, Teacher, Problem Writer, Stream Animator, Jury

      Issued by Animath on Sept 2016
      AnimathAssociated with Louis Rustenholz

    • Volunteer

      Issued by Les Shifters on Sept 2022
      Les ShiftersAssociated with Louis Rustenholz

    • President of the French Tournament of Young Mathematicians

      Issued by Animath on Jun 2019
      AnimathAssociated with Louis Rustenholz

    • Tutor

      Issued by Ministère de l'Éducation nationale et de la Jeunesse on Mar 2020
      Ministère de l'Éducation nationale et de la JeunesseAssociated with Louis Rustenholz

    • Volunteer

      Issued by Naturevolution on Sept 2019
      NaturevolutionAssociated with Louis Rustenholz