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: CAV-AE’23, VMCAI-AE’24
- Subreviewer for RV’22, CAV-AE’22, TACAS’23, ISoLA’23