Name:Giacomo Zanatta

Bio:

I am a PhD student in Computer Science, specializing in static analysis and program verification with a focus on robotic software and microservices. I am also exploring the explainability of neural networks using abstract interpretation. Formerly, I was a Technical Leader, managing software projects and leading a team of developers.

Country:Italy

Affiliation:Ca’ Foscari University of Venice

Research interests:Static Analysis, Program Analysis, Security, Formal Methods