Hi!\\
I am a PhD student at IRIF in the pole [[https://www.irif.fr/poles/pps/index|PPS]], under the direction of [[https://www.irif.fr/~gc/|Giuseppe Castagna]] and [[https://www.lri.fr/~kn/|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 [[https://e-sh4rk.github.io/Prototype/|here]].\\

You can find a list of my publications on my [[https://mlaurent.ovh|personal website]].

{{page>inc&noheader&nofooter}}