CV
Education
- B.S. Mathematics, BarcelonaTech, 2013 - 2018
- B.S. Physics Engineering, BarcelonaTech, 2013 - 2018
- M.S. in Advanced Mathematics and Mathematical Engineering, BarcelonaTech, 2018 - 2019
- Ph.D. in Computer Science, Graz University of Technology, 2021 - current
Work experience
- 2020-21: Data Scientist (AI Team)
Service and leadership
- PC Member: IJCAI (2024), CAV-AE (2023, 2024), VMCAI-AE (2024),
- Subreviewer for TACAS (2023), CAV-AE (2022), RV (2022), VMCAI (2024), AISoLA (2023)