Giacomo Boldini is a Ph.D. student at Ca’ Foscari University of Venice, where his primary research interests lie in the domains of static analysis, abstract interpretation, and program verification. He obtained both his Bachelor’s and Master’s degrees in Computer Science at the University of Parma. His Master’s thesis, titled “Source code clustering via explainable code similarity based on control flow graph features”, centered around source code similarity and the development of explainable source code representation designed to facilitate machine learning methodologies in understanding code features and their similarities. During his Master’s degree at the University of Parma, he also worked on a project involving the optimization and parallelization of code, leveraging the power of NVIDIA GPUs and the CUDA programming model to enhance the performance of numerical analysis algorithms.