Gianluca Caiazza
Gianluca is a non-tenure track assistant professor at Ca’ Foscari University of Venice. He worked for his postdoc and PhD in the ACADIA Center at the University of Venice under the supervision of Professor Agostino Cortesi.
From July 2018 to March 2019, he was a full-time researcher contributing to an international project among several Universities at Gachon Univerity (Seoul, South Korea) in the “A.I. and Smart Society Laboratory” under the guide of Professor Young-Im Cho.
He is mainly focused on security enhancements of cyber-physical systems (CPS) with particular emphasis on robotics and distributed connected devices, e.g. data distributed system (DDS), oneM2M.
His research aims to explore the trade-off between security and usability for Internet of Things (robotic) applications. Working on the widely used robotic middleware Robot Operating System (ROS), his work targets on providing automatic tools for security assessment and verification of the system. Currently, he focused on the mathematical verification of properties in a multi-agent distributed environment (e.g. smart cities scale) and privacy enforcement in dynamic networks.
Back