About Me

I am a second year PhD student in computer science
at IRIF in Paris, France; under the supervision of Giuseppe Castagna.
Broadly speaking, I am interested in interfacing dynamically-typed
languages (such as Javascript) with strongly statically-typed languages
(such as OCaml), using a technique known as gradual typing.

More precisely, I am trying to improve current gradual type
systems with more powerful features such as union and intersection types,
type inference, polymorphism, and much more.

Overall, I am particularly interested in programming language theory,
type systems and proof theory. Moreover, I am very fond of programming,
especially in OCaml. I also like to learn about various domains such as
biology, cognitive science or physics.