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)
  • Basetis

Service and leadership

• PC Member: CAV-AE’23, VMCAI-AE’24
• Subreviewer for RV’22, CAV-AE’22, TACAS’23, ISoLA’23