I'm a Senior Computer Engineer working on zkEVM at Polygon, focusing on DSL compilers and arithmetization through state machines. I use these DSL to define the state machines, ensuring they are robust while optimizing their performance. I graduated from UPC (Universitat Politècnica de Catalunya).

On a personal level, I have a deep passion for mathematics, problem-solving, building innovative solutions, and DIY.