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.
15 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 (95)
mathematical10
flask10
memory-allocation10
ssreflect10
coq10
interval-arithmetic10
wolfram-language10
smt10
probability10
c-language10
cas10
verification10
information-theory10
complex10
dfa10
Programming languages (10)
Github contributions (5)
hoheinzollern/analysis
Mar 2022 - Apr 2025
Mathematical Components compliant Analysis Library
Contributions:3 reviews, 15 PRs, 360 pushes in 3 years 1 month
mathcompliantanalysismathematicaljulia
hoheinzollern/DWTCodec
May 2010 - Nov 2013
Contributions:14 commits in 3 years 5 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.