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.

Publications

2018

2014

Teaching

2016 – 2017

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

Service

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

Software Development

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