About me

I am a PhD student at the Imdea Software Institute in Madrid under the supervision of Gilles Barthe.

Research interests

Drafts

Publications

Education