PhD Student
Ca' Foscari University of Venice
SSV Research Group
I am a PhD student in Computer Science focusing on static analysis, abstract interpretation, and program verification, with applications to low-level languages (in particular, LLVM-IR). My works (academic/personal/small-team) span topics such as parallel computing, GPU programming, AI applied to source code analysis, and web development for small to mid-sized websites. As an Arduino/ESP32/self-hosting enthusiast, I enjoy working on DIY projects, exploring embedded systems, and delving into network systems.
Static Analysis approaches for improving critical Software Engineering (supervisor: Pietro Ferrara).
Teaching Assistant for Computer Networks (CT0373) course in Computer Science B.Sc.
Substitute teacher for a full position (18 hours) in Computer Science and Technology Laboratories at a technical high school.
Designed and implemented explainable machine learning methodologies in the context of source code similarity.
Researched and implemented parallel algorithms on NVIDIA GPUs for high-performance computing tasks.
Studied and optimized C++ code for hydrodynamic simulation using Intel® Parallel Studio suite.
Designed and implemented websites for acquaintances and small businesses using HTML, CSS, JavaScript, PHP, and SQL.