Meven Lennon-Bertrand

  • en
  • fr
  •  
  • About
  • Dissemination
  • Internships
  • Publications
  • Talks
  • Teaching
  1. Gradualizing the Calculus of Inductive Constructions

    January 2019 – July 2019
    Gallinette team (University of Nantes), with Nicolas Tabareau

    For my masters thesis I worked as an intern under the supervision of Nicolas Tabareau. We collaborated with Éric Tanter on applying the gradual typing approach to the Calculus of Inductive Constructions. Although the internship led to a thesis and defence, those are outdated – see the corresponding publication instead.

    Pdf Slides
  2. Coalgebraic determinization of alternating automata

    January 2017 – July 2017
    Radboud University Nijmegen, with Jurriaan Rot

    During my master’s first year, I was an intern with Jurriaan Rot. We worked on alternating automata in a coalgebraic approach.

    Pdf Slides
  3. Compilation of Dependent Pattern-Matching without Axiom K

    June 2016 – July 2016
    IRIF (Paris 7 University), with Hugo Herbelin

    At the end of my bachelors, I was an intern for 2 months with Hugo Herbelin. We worked on an algorithm to compile complex, dependent pattern-matching without using the axiom K, following ideas around small inversion.

    Pdf Slides