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.
Giacomo Zanatta
PhD student in Computer Science.#staticanalysis, #robotics, #microservices, #formalverification
Ca' Foscari University of Venice, Italy
Github: giacomozanatta
LinkedIn: giacomozanatta