Hi!
I am a PhD student at IRIF in the pole PPS, under the direction of Giuseppe Castagna and Kim Nguyen.

I am working on a set-theoretic type system for typing dynamic languages (such as Python or Javascript). An online version can be tested here.

You can find a list of my publications on my personal website.