Carlos Esteban Budde is a Professor in both the Department of Economics and Management and the Department of Information Engineering and Computer Science at the University of Trento, Italy. His research focuses on rare event simulation, formal methods, and cybersecurity, with particular emphasis on developing automated algorithms for importance splitting techniques applicable to high-reliability systems and fault trees. Education: PhD in Computer Science (2012-2017) from National University of Córdoba, Argentina. Thesis: "Automation of Importance Splitting Techniques for Rare Event Simulation." MSc in Computer Science (2010-2012) from National University of Córdoba, Argentina. Final project: "Fully measurable non-determinism in continuous probabilistic processes." BSc in Computer Analyst (2007-2010) from National University of Córdoba, Argentina. Professor Budde's research centers on rare event simulation and formal methods for analyzing stochastic systems. His work develops theoretical frameworks for automated importance splitting algorithms that can handle general stochastic models beyond Markovian assumptions. He implements these techniques in practical tools like FIG (Finite Improbability Generator) for reliability analysis of high-criticality systems, with applications spanning cybersecurity, infrastructure maintenance, and safety-critical systems. His interdisciplinary approach bridges theoretical computer science with practical engineering challenges in system reliability. His recent publications demonstrate a strong focus on quantitative security analysis using attack and fault trees, with increasing integration of machine learning techniques for predictive maintenance. Budde has made significant contributions to rare event simulation methods applicable to non-Markovian systems, extending formal verification techniques to hybrid systems where traditional model checking approaches fail. His work consistently emphasizes practical implementation and empirical validation through diverse case studies. Scientific Awards: MSCA Postdoctoral Fellowship (2022) for "Projection of Security Vulnerabilities caused by Exploits in Dependencies" Best short-paper award at QEST 2020 for "The Dynamic Fault Tree Rare Event Simulator" Best MSc grade point average award from National University of Córdoba (2012) Flag bearer of the Faculty of Mathematics, Astronomy, Physics, and Computer Science (2011) Professor Budde has supervised numerous MSc and BSc theses at University of Twente and National University of Córdoba, with students working on topics including Bayesian network applications, predictive maintenance, fault tree analysis, and statistical model checking. His research is supported by multiple international projects including CS4E (Cyber Security for Europe, H2020), SEQUOIA (Smart maintenance optimization), and SUCCESS (SecUre aCCESSibility for IoT). As an active member of the research community, Budde serves on program committees for major conferences including TACAS, QEST, and CSF, and has organized workshops such as PM 2021. His work bridges theoretical computer science with practical applications in system reliability and cybersecurity.
