Felicià Barceló
Felicià Barceló has worked as a computer engineer on Polygon’s zkEVM, focusing on domain-specific language compilers and arithmetization through state machines. This work uses specialized languages to define and optimize the state machines used in proof generation. Barceló graduated from the Universitat Politècnica de Catalunya.