Giacomo Zanatta
PhD Candidate
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 (23)
analyzer10
semgrep9
static-analysis9
java9
abstract-interpretation9
ssa9
cybersecurity9
static-analyzer9
formal-methods8
source-code-analysis8
modular8
program-analysis7
react5
nodejs5
blockchain5
Programming languages (5)
Github contributions (5)
giacomozanatta/pylisa
Dec 2022 - Oct 2024
Python frontend for LiSA
Contributions:21 PRs, 114 pushes, 19 branches in 1 year 10 months
pythonfrontendlisa
giacomozanatta/scsr-2025
Feb 2025 - Mar 2025
Contributions:11 PRs, 75 pushes, 5 branches in 1 month
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.