معرفی
Alessandro Bruni is a Lecturer in Theoretical Computer Science at the IT University of Copenhagen, specializing in Programming Logic and Semantics within the Department of Computer Science. He is affiliated with the Center for Information Security and Trust and maintains an active research profile with numerous publications and projects spanning from 2016 to the present, including ongoing work through 2025.
His research interests focus on Security Protocols, Protocol Analysis, Formal Verification, Ethical Hacking, Electronic Voting, and Internet of Things Security. Bruni's work bridges theoretical computer science with practical security applications, particularly in constrained environments like IoT devices. He has made significant contributions to the formal analysis of security protocols such as EDHOC (Ephemeral Diffie-Hellman Over COSE) using tools like Tamarin and ProVerif.
Analysis of his recent publications (2023-2025) reveals a growing interest in differentiable logics and their formalization in proof assistants like Coq, alongside continued work on security protocols for constrained environments. His research increasingly intersects with machine learning verification and robust statistical methods for security applications.
Bruni serves as Principal Investigator for multiple research projects including VeriFunAI: Verified Functional Analysis for Safe AI (funded by Carlsbergfondet, 2025), GAMESS: GAMification and Education for Secure Software (Danish Agency for Research and Education, 2023-2024), and the De Danske Cybermesterskaber (Danish Cyber Championships) funded by Industriens Fond. His projects consistently focus on formal verification, security education, and practical cybersecurity applications.
As an active contributor to public discourse, Bruni has participated in media discussions about ethical hacking frameworks, EU cybersecurity directives, and security improvements for platforms like WhatsApp. His work demonstrates a commitment to both theoretical rigor and practical impact in the cybersecurity field.
