Static analysis
C and C++ tooling, program analysis, coding standards, and developer integrations.
About
I am a software developer based in Pisa, working mainly on static analysis, systems programming, and scientific software.
I currently contribute to ECLAIR, BUGSENG’s static-analysis platform for safety-critical C and C++ software. Before that, I worked on 3D reconstruction at Scanny3D, developing software and algorithms around cameras, projectors, calibration, and physical scanning systems.
My background in physics shapes how I approach software: I like building a clear model of a problem, testing it against evidence, and understanding where its assumptions fail. My main languages are C, C++, and Rust, with experience ranging from developer tooling and numerical methods to computer vision, desktop applications, and embedded systems.
Outside professional work, I build projects to explore ideas in more depth (e.g., algorithms, scientific-computing experiments, computer-vision tools, simulations, robots, lasers, and other occasionally impractical devices).
C and C++ tooling, program analysis, coding standards, and developer integrations.
Numerical methods, simulations, theoretical physics, and high-performance computing.
3D reconstruction, image processing, camera calibration, and measurement systems.
Embedded systems, sensors, electronics, mechanics, CNC work, and 3D printing.