Meven Lennon-Bertrand

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

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

    In the spring semester of 2019 I was an intern under the supervision of Nicolas Tabareau. We worked with Éric Tanter on applying the gradual typing approach to the Calculus of Inductive Constructions. Although the internship led to a thesis and defense, those are outdated – see the corresponding draft publication instead.

    Pdf Slides
  2. Coalgebraic determinization of alternating automata

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

    During the spring semester of 2017, I was an intern with Jurriaan Rot. We worked on alternating automata in a coalgebraic approach. The report is published on arXiv.

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

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

    In 2016, 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. It did not make it to any kind of publication for now.

    Pdf Slides