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.

• L3 internship with Vladimir Zamdzhiev and Simon Perdrix at the Loria in Nancy, building a small language that uses quantum integers and giving its semantics
• M1 internship with Thomas Streicher at the TU Darmstadt, mostly learning about categories, fibrations, and even a bit of topos theory