Giacomo Zanatta
Greater Treviso Metropolitan Area Italy
Summary
👤
Senior🎓
Top SchoolGiacomo Zanatta is a PhD candidate in Computer Science at Ca' Foscari University of Venice who specializes in automated security analysis for cyber-physical systems and distributed architectures. He builds practical defenses—such as a real-time ROS2 network firewall with live introspection, anomaly detection, and dynamic policy enforcement—alongside static analysis tools for microservices. A core developer of JLiSA, he helped the Java static analyser win Bronze at SV-COMP 2026 on its first entry, and at AWS he owned end-to-end delivery of automated taint analysis pipelines for large safety-critical codebases. Before research, he spent five years rising to Technical Leader at Alpenite, designing a Go middleware for e-commerce integrations and overseeing payment and authentication workflows. Giacomo combines hands-on engineering, production delivery, and research rigor, and his work often bridges organization boundaries—evidenced by a repeat invitation to a cross-team AWS internship. Based in the Greater Treviso area, he pairs deep security tooling expertise with practical system integration experience.
9 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Università Ca' Foscari VeneziaDiploma di Specializzazione Informatica Tecnologie dell''informazione, Diploma di Specializzazione Informatica Tecnologie dell''informazione at ITIS Max Planck
Github Skills (28)
analyzer10
static-analysis9
java9
abstract-interpretation9
cybersecurity9
formal-methods9
static-analyzer9
benchmark7
benchmarking7
cgroups7
formal-verification6
linux6
python6
program-analysis5
react5
Programming languages (6)
Github contributions (5)
giacomozanatta/scsr-2025
Feb 2025 - Mar 2025
Contributions:11 PRs, 75 pushes, 5 branches in 1 month
giacomozanatta/pylisa_microservices
Dec 2022 - Jun 2026
Python frontend for LiSA
Contributions:23 PRs, 132 pushes, 22 branches in 3 years 6 months
pythonfrontendlisa
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.