Gianluca Caiazza

Gianluca Caiazza is a researcher at Ca’ Foscari University of Venice. After completing his PhD and postdoc at the ACADIA Center under Professor Agostino Cortesi, he collaborated with the “Artificial Intelligence and Intelligent Society Lab” at Gachon University in Seoul.

His research focuses on the security of cyber-physical systems, with a particular interest in robotics and distributed connected devices. He studies the balance between security and usability in IoT applications and develops tools for automated security assessment and verification in robotic environments. His current work explores mathematical verification in distributed multi-agent systems and privacy in dynamic networks.