Embedded Linux e avionica
Kernel, driver, Yocto e integrazione real-time per piattaforme space-grade.
Sistemi embedded · Spazio · AI affidabile
Embedded Linux Engineer&Dottorando
Progetto software embedded mission-critical e studio metodi di AI verificabile per sistemi spaziali, unendo Linux low-level, avionica, co-design hardware-software e rigore accademico.

Kernel, driver, Yocto e integrazione real-time per piattaforme space-grade.
Safety assurance, spiegabilità e anomaly detection per sistemi critici.
RISC-V, ARM, SPARC/LEON e progettazione FPGA-aware sotto vincoli stringenti.
Vincoli industriali trasformati in metodi rigorosi, pubblicazioni e sistemi riutilizzabili.
Sono un Ingegnere dei Sistemi Embedded e Dottorando, specializzato in Intelligenza Artificiale Affidabile per il settore aerospaziale. Il mio percorso nasce dal desiderio di colmare il divario tra ricerca accademica rigorosa e applicazioni industriali mission-critical. Attualmente ricopro un duplice ruolo: progetto software avionico presso Thales Alenia Space e conduco la mia ricerca di dottorato al Gran Sasso Science Institute (GSSI).
La mia formazione presso l'Università degli Studi dell'Aquila mi ha fornito solide basi in Ingegneria Automatica, che ho progressivamente orientato verso il co-design hardware-software per sistemi spaziali. Diversamente dallo sviluppo software tradizionale, il mio lavoro affronta i severi vincoli di dimensioni, peso e potenza (SWaP) delle piattaforme orbitali. Mi dedico a colmare l'"Edge-Computing Gap" nel settore aerospaziale: rendere possibile l'esecuzione sicura a bordo dei satelliti di modelli di AI complessi e non deterministici, senza dipendere dal controllo di terra.
I miei contributi di ricerca includono il framework Aerosafe, che adatta la safety assurance dei sistemi di machine learning agli standard ECSS, e l'architettura SafeKAN, un approccio accelerato in hardware basato sulle Kolmogorov-Arnold Networks per l'anomaly detection spiegabile. Il mio obiettivo è contribuire alla prossima generazione di sistemi multi-satellite attraverso autonomia distribuita e intelligenza di bordo verificabile.
Desidero portare questa esperienza industriale e questo rigore di ricerca nel mondo accademico, formando una nuova generazione di ingegneri consapevoli che un algoritmo di controllo vale quanto l'hardware su cui vola.
Prevedo di completare il dottorato entro la fine di agosto 2026.
| Ascolto | Lettura | Interazione Orale | Produzione Orale | Scrittura |
|---|---|---|---|---|
| B2 | B2 | B2 | B2 | B2 |
The integration of renewable energy sources and smart technologies in domestic heating systems has become a critical focus in recent years. However, the complex landscape of competing technologies and need-to-comply normative requirements presents significant challenges for practitioners and end-users. In this paper, we first review the principal state-of-the-art technologies commonly employed in the industry. We then analyze the key normative requirements for implementing such systems in real-world scenarios. Based on this comprehensive review, we design a smart energy coordination system tailored for domestic buildings \, according to state-of-the-art practices, which will serve as a baseline for evaluating and comparing other novel, competing solutions. This testbed provides a common ground for assessing the effectiveness and compliance of various energy management strategies, ensuring they meet both technical and regulatory standards. To validate our approach, we implemented the proposed solution on a real-world residential testbed. Our work contributes to the development of reliable, efficient, and adaptable smart energy systems, supporting the transition towards renewable energy solutions and sustainable home automation.
Spacecrafts increasingly rely on software to fly and talk to Earth. Using Artificial Intelligence and Machine Learning for safety-critical software in space brings advantages and new challenges. We analyze the current way of producing safety-critical software and the reference safety and assurance standards in the domain, namely, ECSS-Q-ST-80C and ECSS-E-ST-40. Then, we explore the readiness of correct practices to ensure that ML- or AI-enabled systems are safe and reliable, and we discuss new practices and methods that should be introduced. The analysis refers to the different criticality classes safety-critical software can have.
Model-based development is a development methodology by which more and more suppliers and manufacturers are responding to increased and fast demands on the software development. The model-based model representation of the requirements or the design of a system has a lot of advantages. It is possible to directly derive several useful information from the modeled system automatically. This paper presents an experience of application / tailoring of a SW Quality Model fitting with the peculiarities of the automatic code generation with the support of the existing reference guidelines and a Simulink auto coding didactic experience.
A peritoneal dialysis machine that includes a preparator (60) as well as a cycler (100) to form the peritoneal dialysis system. The system delivers purified water into one or more containers (50) with different powders to create a concentrate and then moves this concentrate to a mixing bag (PDF-GEN) to create the peritoneal dialysis fluid (PDF). The cycler then delivers fresh PDF to the patient (200) and removes waste fluid via the drain outlet. The containers have unique data tags (1, 2, 3) containing container identification indicia and the machine includes integrated reading technology to retrieve the data from each container.
In medical apparatus, for example a dialysis machine, a pump in conjunction with a multichambered reservoir is provided. The volume pumped is determined by counting the number of fills of the reservoir made during a pumping phase. A less expensive pump may be used whilst maintaining an accurate determination of the volume pumped.
A peritoneal dialysis machine that includes a preparator as well as a cycler to form the peritoneal dialysis system. The system delivers purified water into one or more containers with different powders to create a concentrate and then moves this concentrate to a mixing bag to create the peritoneal dialysis fluid (PDF). The cycler then delivers fresh PDF to the patient and removes waste fluid via the drain outlet. A volumetric approach controls the hydraulic flow paths that introduce purified water to the powder concentrates, provide mixing of the concentrate to form the PDF and delivery of the freshly made PDF to the patient. Different configurations of hydraulic flow/pressure generators are provided in the fluid paths to provide optimization of the flow of water through the fluid system to create the correct powder concentrates and subsequent peritoneal dialysis fluid for cycling, for example being provided in a disposable cassette.
A peritoneal dialysis machine that includes a preparator as well as a cycler to form the peritoneal dialysis system. The system delivers purified water into one or more containers with different powders to create a concentrate and then moves this concentrate to a mixing bag to create the peritoneal dialysis fluid (PDF). The cycler then delivers fresh PDF to the patient and removes waste fluid via the drain outlet. A volumetric approach controls the hydraulic flow paths that introduce purified water to the powder concentrates, provide mixing of the concentrate to form the PDF and delivery of the freshly made PDF to the patient. Different configurations of hydraulic flow/pressure generators (80, 82,84) are provided in the fluid paths to provide optimization of the flow of water through the fluid system to create the correct powder concentrates and subsequent peritoneal dialysis fluid for cycling, for example being provided in a disposable cassette.
The disclosure relates to systems and methods for generating specific peritoneal dialysates from concentrate containers. The systems and methods control an order of adding concentrates from one or more concentrate containers or pouches to generate a peritoneal dialysis fluid. The systems and methods can minimize or avoid formation of a precipitate during the formation of the peritoneal dialysis fluid.
MAPPA GLOBALE DEGLI EVENTI
Esplora i luoghi in cui ho presentato attività di ricerca, contribuito all'organizzazione di una conferenza internazionale, partecipato a eventi specialistici e svolto una visita accademica. Trascina il globo o seleziona una città.
Tappa selezionata
Rio de Janeiro, Brazil
ICSE 2026
Esplora le tappe
Trascina per ruotare - seleziona un indicatore
Globo centrato su Rio de Janeiro, Brazil