Luca Ciucci

Curriculum vitae

Luca Ciucci

Software developer focused on systems programming, static analysis and scientific software

I work on software for technically demanding domains, combining experience in C/C++ tooling, static analysis, scientific computing, 3D reconstruction, and low-level systems development.

  • Software development
  • Static analysis
  • Safety-critical software
  • C++
  • Rust
  • Scientific computing
  • 3D reconstruction
  • Embedded systems
  • Developer tooling
  • Physics
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

Scientific and technical foundations that shape how I approach engineering problems.

PhysicsMathematicsProgrammingScientific computingSoftware architecture

Languages & tools

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

Rust

systems programming, GUI applications, numerical experiments, and tool prototypes

C++ & C

core software development, low-level programming, tooling, and legacy codebases

Prolog

logic programming and rule-based analysis

Python

scripting, automation, experiments, and small tools

TypeScript & JavaScript

websites, interfaces, and developer-facing tools

Matlab

numerical prototyping and scientific computing

LaTeX & Typst

technical writing, documents, and reproducible presentation material

Build systems

CMake, Make, Cargo, and project automation

Lua

scripting for automation and tooling contexts

Fortran
Java

apps, integrations and tooling

HTML & CSSLabVIEWPascalPIC Basic

Systems

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

Desktop applicationsMicrocontrollersEmbedded systemsInter-process communicationDeveloper tooling

Technical domains

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

3D reconstructionStructured light scanningComputer visionImage processingCamera calibrationQuaternionsDifferentialsNumerical optimizationNeural networksGUI development

Electronics

Basic practical knowledge, mainly working with prebuilt boards, sensors, cameras, and embedded components.

Mechanics

Practical experience with manual tools, CNC machines, G-code, CAM, and 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++ software.

I contribute to ECLAIR, BUGSENG's static analysis platform for C and C++ software, used in contexts where correctness, maintainability, and compliance with safety-critical coding standards are important.

My work involves analysis-related development, developer tooling, automation, and integration tasks across a mixed technology stack. The main focus is on C/C++ static analysis and support for coding standards such as MISRA, AUTOSAR, and CERT, while also contributing to surrounding tools, scripts, interfaces, integrations, development workflows and web components.

C & C++

Core development for static analysis tooling and C/C++-oriented infrastructure.

C & C++ are central to my work on static-analysis-related tooling and infrastructure. They are also the main target languages of the analysis itself, especially in the context of safety-critical coding standards and large industrial codebases.

Prolog

Logic programming for expressing rules, constraints, and analysis knowledge.

Prolog is useful for representing declarative relationships, rules, and constraints. In a static analysis context, this style is valuable because many checks can be naturally described in terms of facts, relations, and logical conditions.

Static analysis

Analysis of source code to detect defects, enforce rules, and support compliance.

Static analysis is the main technical domain of my current professional work. It combines programming language knowledge, software engineering, formal reasoning, and practical tooling to inspect programs without executing them.

Safety-critical standards

MISRA, CERT, AUTOSAR, and related rule-based software quality requirements.

Safety-critical coding standards define restrictions and guidelines intended to improve reliability, portability, maintainability, and analyzability of software. My work is connected to tooling that supports these standards for C and C++ projects.

Python

Scripting, automation, data processing, and small development tools.

Python is useful for automation, glue code, experiments, data processing, and small internal tools around larger software systems.

Lua

Scripting and automation in tooling contexts.

Lua is a lightweight scripting language that can be useful in tooling, configuration, and automation contexts. It is used in specific tools where embedding a small scripting engine and a reduced runtime requirements is beneficial for flexibility and extensibility.

JavaScript

Frontend and web-related development around developer tools.

JavaScript and related web technologies are useful for building interfaces, documentation, dashboards, and developer-facing tools.

Java

IDE-related tooling and integration work.

Java is relevant for tooling and integration work, especially in contexts involving IDE plugins and development environments. I only occasionally work with Java in this context, but it is part of the technology stack for certain integrations.

Docker

Containerization and deployment.

Docker is used to create reproducible environments, CI/CD pipelines, and other deployment workflows.

Additional technologies
MISRA CMISRA C++CERT CCERT C++AUTOSAR C++14Developer toolingAutomationIDE integrationWeb interfacesTechnical documentation

Scanny3D s.r.l.

Research and Development

Software and algorithm development for 3D reconstruction.

Worked on software and algorithms for 3D scanning & reconstruction, combining programming with practical work on cameras, projectors, electronics, mechanics, calibration, and 3D printing.

The work involved both experimental prototyping and practical engineering, from acquisition workflows and reconstruction algorithms to hardware integration.

C++

Application and algorithm development for core algorithms and application logic, including some legacy codebases.

3D reconstruction
Computer vision

Image processing and measurement-oriented vision algorithms.

Hardware integration

Practical work with electronics, cameras, projectors, mechanics, and 3D printing.

Publications

Education

2018 - present

University of Pisa

Physics studies at the University of Pisa, with current focus on theoretical physics, quantum field theory, lattice field theory, numerical methods, and scientific computing.

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 emphasis on classical and modern physics, including 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

Built Body Tracking Web and the VDU posture monitor, a prototype system designed to help people improve their posture while working at a video terminal.

The project won the competition organized by Confindustria Marche and continued toward product-oriented development.

17/12/2019

"ASML Intergalactic Coding Challenge" winner

Winner of the ASML Intergalactic Coding Challenge 2019.

20/9/2017 - 2/10/2017

Beamline for Schools winners, CERN test beam experience

Two-week experience at CERN after winning the Beamline for Schools competition. We performed tests on the T9 beam facility with a Cherenkov detector proposed and built by our school team.

I was particularly involved in detector design, construction and testing, data analysis, and electronics.

22/9/2016

LNF INFN beam test experience

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 Beamline for Schools competition.