Short bio

Alessandro Bruni is Associate professor at the IT-University of Copenhagen, member of the Center for Information Security and Trust. His research focusses on formal methods applied to the verification of security protocols and AI.

— presenter's bio has been redacted at the date of last given talk

Seminars