About me

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.

Education

• PhD Student, Computer Science
  Ca' Foscari University of Venice
  2023 - On Going
  

  Static Analysis approaches for improving critical Software Engineering (supervisor: Pietro Ferrara).

• Master of Science (M.S.), Computer Science
  University of Parma
  2020 - 2023
  
• Bachelor of Science (B.S.), Computer Science
  University of Parma
  2016 - 2019
  
• Industrial‑Technical High School Diploma in Computer Science
  M.R. Padre Giovanni Bonsignori
  2011 - 2016
  

Experience

• • Software Engineer Intern
  AbsInt Angewandte Informatik GmbH, Saarbrücken, Germany
  2025-09 - 2025-11

  Designed and implemented a pre-analysis module for MISRA C++ rule checking in the context of static analysis tool RuleChecker.

• • Teaching Assistant
  Ca' Foscari University of Venice, Venice, Italy
  2024-11 - 2025-02

  Teaching Assistant for Computer Networks (CT0373) course in Computer Science B.Sc.

• • Substitute Teacher
  Istituto Omnicomprensivo Bonsignori, Remedello, Italy
  2024-03 - 2024-04

  Substitute teacher for a full position (18 hours) in Computer Science and Technology Laboratories at a technical high school.

• • Intern (Curricular)
  University of Parma, Parma, Italy
  2022-09 - 2023-03

  Designed and implemented explainable machine learning methodologies in the context of source code similarity.

• • Research Fellow
  University of Parma, Parma, Italy
  2022-01 - 2023-07

  Researched and implemented parallel algorithms on NVIDIA GPUs for high-performance computing tasks.

• • Intern (Curricular)
  University of Parma, Parma, Italy
  2019-07 - 2019-12

  Studied and optimized C++ code for hydrodynamic simulation using Intel® Parallel Studio suite.

All experiences (7) »

Publications

• Giacomo Boldini, Pietro Ferrara, Lorenzo Negrini, Lucia Olivieri. A Memory Framework for Stack and Heap Management
  33rd Static Analysis Symposium (SAS 2026)
  Manuscript - to be submitted
• Giacomo Boldini, Alessio Diana, Vincenzo Arceri, Vincenzo Bonnici, Roberto Bagnara. A Machine Learning Approach for Source Code Similarity via Graph-Focused Features
  The 9th International Conference on Machine Learning, Optimization, and Data Science (LOD2023)
  Conference paper - - Grasmere, Lake District, England – UK

All publications (2) »

Research Community Activities

• • Member, Software and System Verification (SSV) research group @ Ca' Foscari University of Venice
  09/2024 – On Going
  


• • Committee Member, Artifact Evaluation for the International Conference on Software Language Engineering (SLE 2025)
  Remote - Event in Koblenz, Germany
  2025
  
  • Artifact evaluation details link
• • Committee Member, Artifact Evaluation for the Static Analysis Symposium (SAS 2025)
  Remote - Event in Singapore
  2025
  
  • Committee details link
• • Attendee, Lipari Summer School on Abstract Interpretation (ABSINT24)
  Lipari, Italy
  01/09/2024 – 07/09/2024
  
  • ABSINT24 program link
• • Attendee, PLDI24 + Programming Languages Mentoring Workshop (PLMW)
  Copenhagen, Denmark
  24/06/2024 – 28/06/2024
  
  • PLMW program link and PLDI24 program link
• • Attendee and Session Chair, Challenges of Software Verification Symposium 2024 (CSV24)
  Venice, Italy
  06/06/2024 – 07/06/2024
  
  • CSV24 program link