I am currently a post-doc at the Max Planck Institute for Software Systems,
working in the group of Umut Acar.

Previously, I did my PhD at INRIA, in Rocquencourt, advised by François Pottier.

My research focuses on programming languages and formal proofs.