Alessandro Bruni
Associate Professor
Copenhagen, Capital Region of Denmark
Summary
🤩
Rockstar🎓
Top SchoolAlessandro Bruni is an Associate Professor at IT University of Copenhagen with 16 years of experience spanning academic research, teaching, and applied software engineering. His background includes a PhD from DTU focused on protocol verification and stochastic model checking, postdoctoral work and international research fellowships, and industry-facing roles in process mining and backend development. He leads the OWASP Copenhagen Chapter, reflecting a sustained interest in software security and community engagement alongside his academic duties. Alessandro blends formal methods and practical engineering, having moved from building custom ORMs and web UIs to managing research projects that extract and analyze massive enterprise data. Based in Copenhagen, he frequently collaborates internationally (including visits to Birmingham, Padova, Eindhoven, and AIST in Japan), bringing both theoretical rigor and hands-on systems experience to security and verification challenges.
16 years of coding experience
4 years of employment as a software developer
Master of Science (M.S.), Computer Science, Master of Science (M.S.), Computer Science at Università degli Studi di PadovaUniversity of California Santa CruzTechnical University of Denmark
English, Italian, French, Danish
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (87)
agda10
mathematical10
category-theory10
flask10
ssreflect10
coq10
interval-arithmetic10
root-finding10
homotopy-type-theory10
julia10
probability10
c-language10
information-theory10
derivative10
dfa10
Programming languages (14)
Github contributions (5)
hoheinzollern/ethical-hacking
Sep 2022 - Dec 2025
Contributions:1 PR, 6 pushes in 3 years 2 months
hoheinzollern/workshop-cybersikkehed
Mar 2021 - Mar 2022
Workshop on binary exploitation for the Danish Cybersecurity Championships
Contributions:39 commits, 1 PR, 26 pushes in 1 year
cybersecurity
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.