About

Software, physics, and the systems between them.

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).

Areas of focus

Static analysis

C and C++ tooling, program analysis, coding standards, and developer integrations.

Scientific software

Numerical methods, simulations, theoretical physics, and high-performance computing.

Geometry and vision

3D reconstruction, image processing, camera calibration, and measurement systems.

Physical computing

Embedded systems, sensors, electronics, mechanics, CNC work, and 3D printing.