Carlos Esteban Budde

Carlos Esteban Budde is an Associate Professor in the Department of Applied Mathematics and Computer Science (Software Systems Engineering) at the Technical University of Denmark. His research focuses on statistical modeling, probability theory, and formal methods for software systems engineering.

• Current affiliation: Technical University of Denmark
• Department: Software Systems Engineering

His recent work involves statistical model checking for analyzing probabilities and expected rewards in complex systems. The research applies mathematical rigor to software engineering challenges, with expertise in reachability analysis and statistical methods.

This profile reflects 1 publication in progress, highlighting his specialization in computational systems analysis and probabilistic modeling.