PhD student at INRIA Paris, member of the Prosecco team. I am interested in programming languages and logic. My current research topics are dependent types and subtyping.

Recent Activities

Teaching

2021 – 2022

  • Teaching Assistant, Math for Computer Sciences at Sorbonne Université.
  • Teaching Assistant, Functional Programming at Sorbonne Université.

Service

  • Artifact Evaluation Committee, POPL 2021.
  • Student Volunteer, ICFP 2020.

Before PhD

Publications

2018

2014

Teaching

2016 – 2017

  • Teaching Assistant, undergraduate mathematics course at Lycée Henry IV.

Software Development

  • Contribution to CakeML, a verified ML compiler.
  • Multicore OCaml reagents library.