Professional Summary
Education
PhD Applied Cryptography
2021-09-01
2023-06-01
Polytechnic University of Catalonia
MS Mathematics
2019-09-01
2020-06-01
Polytechnic University of Catalonia
BS Mathematics
2015-09-01
2019-06-01
University of Alicante
Interests
I am currently working as a Research Engineer at ZisK, specializing in zero-knowledge cryptography and blockchain scalability. Previously, I worked at Polygon zkEVM, where I contributed to developing robust arithmetization using the extended Algebraic Intermediate Representation (eAIR) and ensured the integrity of the proving system, a composition of inner eSTARK with outer fflonK.
Simultaneously, I am pursuing a Ph.D. in the Department of Network Engineering at the Polytechnic University of Catalonia (UPC). My academic journey includes a MSc in Advanced Mathematics and Mathematical Engineering from the UPC and a BSc in Mathematics from the University of Alicante, with a focus on discrete mathematics. My research ranges from theoretical and applied cryptography to probabilistic proofs, with a special interest in the applicability of zero-knowledge proofs to improve the scalability of blockchains and authentication systems.
In my free time, I enjoy doing cryptography-based CTF challenges on sites like CryptoHack, HackTheBox or CryptoPals. There is a big difference between theory-oriented (a.k.a., textbook) cryptography and real-world cryptography, so I feel like these challenges make me understand the link between these two worlds.