Carlos Budde
Assistant Professor at Università di Trento
Trentino – Alto Adige/Südtirol, Italy
Summary
👤
Senior🎓
Top SchoolCarlos Budde is an Assistant Professor and researcher with 13 years of experience bridging formal methods, rare-event simulation, and high-performance computing to tackle safety and security risk analysis. He completed a CONICET-funded PhD in Computer Science and spent four years as a postdoc at Universiteit Twente applying formal methods and big-data/ML techniques to railway risk management before joining Università di Trento. His work blends theoretical process semantics with practical tooling for security-focused risk assessment, often scaling analyses using HPC techniques. Beyond academia he has hands-on C++ experience from an open-source 3D game project, reflecting a pragmatic approach to systems and sound design. Based in Trentino-Alto Adige, he brings a rare combination of rigorous formal research and applied engineering to complex, safety-critical domains.
13 years of coding experience
7 years of employment as a software developer
Doctor (PhD), Computer Science, Doctor (PhD), Computer Science at FAMAF - Universidad Nacional de CórdobaMaster of Science (MSc), Computer Science, 9.75/10, Master of Science (MSc), Computer Science, 9.75/10 at FAMAF Facultad de Matemática, Astronomía, Física y Computación - UNC
Spanish, English, German, Italian
Github Skills (13)
markov-chain7
mdp7
calculator4
model-checking4
checker4
machine-learning3
probabilistic3
gleam3
fault2
system-administration2
consistency2
fault-tolerance1
reliability1
Programming languages (3)
Github contributions (5)
hobborg/test
Apr 2020 - Apr 2020
Contributions:9 pushes, 2 branches in 1 day
assuremoss/assuremoss.github.io
May 2023 - Nov 2024
We Site of AssureMOSS
Contributions:2 pushes, 1 branch in 1 year 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.