CV

Education

• B.S. in Mathematics, Zaragoza University, Sep. 2014 - Jul. 2018.
• M.S. in Advanced Mathematics and Mathematical Engineering, Barcelona Tech, Sep. 2018 - Jul. 2019. Master thesis titled First Order Logic of Sparse Hyper-graphs awarded with honors.
• Ph.D in Applied Mathematics, Barcelona Tech, Sep. 2019 - March. 2023 (expected). You can find my thesis here.

Work experience

• Research Assistant in the Systematic Construction of Correct Systems (SCOS) group at TU Graz from October 2020.

Teaching

• Problem Workshop, together with Marina Garrote. 1st and 2nd Semester Mathematics Bachelor, Barcelona Tech. Sep. 2019 - Jul. 2020.
• Model Checking, supporting role. Computer Science Master (optional), TU Graz. Summer Semester 2021.
• Logic and Computability, supporting role. 3rd Semester Computer Science Bachelor (mandatory), TU Graz. Summer Semester 2022.

Other Activities

• Participated in the 1st and 3rd editions of the GAPCOMB Worshop.
• Part of the organization of the CSL 2020 conference.
• Subreviewer at CAV 2021 & 2022, VMCAI 2021, FMCAD 2021 & 2022.
• Bronze Medal at the International Math Competition 2018.