I am an intern at IRIF under the supervision of Thomas Ehrhard.
Contact : brasseur [at] irif [dot] fr
Office : 3044
I am currently working on models and relations between the differential lambda calculus and its coherent version.
I am still a student, thus trying to discover new topics, but my current interests are semantics, linear logic, categories, type theory, and homotopy theory.
I have been a student at ENS Paris-Saclay since 2021.