Luca Ciucci

Curriculum vitae

Luca Ciucci

Software developer & R&D engineer

I develop software for complex technical domains, spanning static analysis, scientific computing, 3D reconstruction, and systems programming.

Get in touch GitHub ↗ Download PDF ↓
Portrait of Luca Ciucci
Email luca.ciucci99@gmail.com
Phone +39 324 550 9174
Based in Pisa, Italy
More contact details
Home address via Lucchese, 57 Pisa, Italy
Residence via Colle da Sole, 37 Torre San Patrizio, Italy

Main interests

A practical mix of science, software, and hands-on engineering.

Core interests

The scientific foundations behind how I approach engineering problems.

PhysicsMathematicsProgramming

Languages & tools

A broad toolkit, with current emphasis on systems and scientific software.

Rust
C++ & C

and build systems including CMake, Make, and Visual Studio

MatlabTypeScript & JavaScriptHTML & CSSTypstPython
Prolog

and logic programming in general

FortranLabViewLaTeXJavaPascalPIC Basic

Systems

Software close to the machine, from desktop applications to constrained devices.

DesktopMicrocontrollersEmbedded

Technical domains

Applied numerical methods and geometry for real-world measurement systems.

3D reconstructionQuaternionsDifferentials
Numerical optimization
Image processingCamera calibrationNeural networksGUI

Electronics

Some basic knowledge, working mainly with prebuilt boards.

Mechanics

Many manual tools, CNC machines, G-code and CAM, 3D printing.

Work experience

Sept 2024 — present Pisa, Italy

BUGSENG s.r.l.

Software Developer

Static analysis and developer tooling for safety-critical C and C++.

Contributing to ECLAIR, BUGSENG's static analysis platform for C/C++, with a focus on MISRA and safety-critical standards such as MISRA C/C++, CERT, and AUTOSAR.

Involved in core analysis components and tooling, primarily in C++ and Prolog; scripting and automation in languages including Python and Lua; JavaScript frontends and websites; and Java IDE plugins. The work spans several domains and cross-functional teams.

C++

The main language for core analysis components and tooling.

C++ is the main language for core analysis components and tooling, with a focus on modern C++ standards and practices. The codebase includes a mix of legacy and modern C++, with ongoing efforts to improve code quality and maintainability.

C++ is also the main target language for the static analysis for safety-critical standards such as MISRA C++.

Prolog

The main language for logic programming in the analysis engine.

Prolog is the main language for logic programming in the analysis engine, used for encoding rules and constraints for static analysis. It allows for a declarative approach to defining analysis rules, making it easier to express complex logic and relationships between code elements.

Prolog is particularly well-suited for encoding the rules of safety-critical standards such as MISRA C/C++, where complex relationships and constraints need to be expressed clearly and maintainably.

Python

The main language for scripting and automation and tiny tools.

Python is one of the main languages for scripting and automation, used for tasks such as data processing, testing, and tool integration. It is valued for its readability, extensive libraries, and ease of use, making it suitable for rapid development and prototyping.

...
Additional technologies
Lua...

Scanny3D s.r.l.

Research and Development

Software and algorithm development for 3D reconstruction.

Software and algorithm development, mainly for 3D reconstruction, together with practical electronics, mechanics, and 3D-printing work.

Publications

Education

17/9/2018 - present

University of Pisa

Started my studies in physics course L-30.

17/7/2017 - 21/7/2017

Ducati "Fisica in moto" summer school

Attended lessons on mechanics, physics laboratory, motorbike mechanical development, production, data analysis, and cooperative problem solving.

26/6/2017 - 1/7/2017

"Modern Physics for students" summer school

Attended physics courses with particular emphasis on introductions to classical and modern physics, with laboratory experiences in measurement and computing.

March 2017

IPPOG International masterclass 2017

Attended courses on high-energy particle accelerator physics at the LNF INFN laboratories, with particular interest in accelerator technologies and tracking detectors.

4/6/2018

Cambridge English First Certificate

English level B2.

2013 - 2018

Scientific high school diploma

Scientific high school diploma, applied sciences section, with a 100/100 score at T.C.O. Fermo.

Educational projects

6/6/2023

"Learning by doing" competition winners

We created Body Tracking Web and the VDU posture monitor to help people improve their posture while working at a video terminal. We won the competition organized by Confindustria Marche and continued developing the project toward a real product.

17/12/2019

"ASML Intergalactic Coding Challenge" winner

Winner of the ASML Intergalactic Coding Challenge 2019.

20/9/2017 - 2/10/2017

CERN's days as BL4S winners

Two-week experience at CERN, performing tests on the T9 beam facility with our proposed and built Cherenkov detector. I was particularly involved in detector design, construction and testing, data analysis, and electronics.

22/9/2016

LNF (INFN)

Performed experiments with the Cherenkov detector from the 2016 BL4S proposal on one of the Frascati INFN LINAC's beams at the BTF.

2017

"Olimpiadi della robotica"

Participated with the "pac-man" project, for which I built most of the robot and all the firmware.

2016

First BL4S proposal

Participated in the first group of the school project proposing a Cherenkov-effect detector for the 2016 CERN BL4S competition.