GIACOMO ZANATTA

Giacomo Zanatta is a PhD student in Computer Science with a focus on static analysis, program verification, and robotics software... 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.