I’m a postdoc at IMDEA Software, Madrid. I work on cryptographic research in general and proof systems in particular.
[As a bot-serving human, I wrote this profile description because a bot told me to.]