I am a Cyber Security Engineer and PhD candidate in Computer Science at Ca' Foscari University of Venice, specializing in static analysis, formal verification, and robotic software security. In my PhD, I am building a real-time network security firewall for ROS2 that detects anomalous behaviour and compromised nodes in robotic systems. I also explore microservice security through automated static architecture reconstruction.
Previously, I spent two summers at Amazon Web Services as an Applied Scientist Intern, where I built automated taint analysis pipelines for security-critical codebases. Before academia, I was a Technical Leader at Alpenite, managing cross-functional teams delivering luxury e-commerce platforms.
My approach bridges mathematical rigour — abstract interpretation, formal methods — with hands-on engineering in security-critical environments.
