Carlos Esteban Budde
University of Trento
Assistant Professor (RTDa)
Carlos E. Budde received his PhD in Computer Science in 2017 from the Universidad Nacional de Córdoba (Argentina), specialising in rare event simulation for formal methods. From 2017 to 2021 he worked as postdoc researcher at the Universiteit Twente (The Netherlands), also in collaboration with Dutch Railways, applying simulation and machine learning to big data for risk management. Since 2021 Carlos holds a position as assistant professor at the Università di Trento (Italy), using simulation and probabilistic-based analyses to assess the cybersecurity resilience of systems’ models.
In 2022 Carlos was awarded a Marie Curie Postdoctoral Fellowship: his ProSVED project studies how security vulnerabilities can be used for the estimation of future exploits, using novel approaches that combine formal methods with cybersecurity analyses.