Feb 2023 – May 2024 · 1 yr 3 mos · Amsterdam Area

Sep 2021 – Feb 2023 · 1 yr 5 mos

• Leading the development of project related to the deployment of a tensor-based optimization model to maximize overlay and imaging performance.
• Statistical benchmarking of applications to achieve high-throughput.

Nov 2019 – Feb 2023 · 3 yrs 3 mos

• Collaboration with cross-functional teams to create combined designs
• Software design of new software components for the NXE and EXE machines
• Refactoring of legacy software components, migrating parts of such components to newer C++ standards using TDD.
• Implementation of real-time software for optimization of optical models using BLAS LAPACK, C++11/14/17
• Support on the development of optical models in Matlab
• Development of libraries in Python and Julia

Jun 2015 – Nov 2019 · 4 yrs 5 mos · Naples, Campania, Italy

• Worked on the design of the plasma control system, which will be the control software system responsible of controlling part of the plant systems of the ITER Machine (https://www.iter.org).
• Design of the system using Model-Driven Design approaches from requirements analysis to structural and behavioral diagrams in SysML 1.3.
• Implementation of real-time software in C++14 on Linux RHEL 6.
• I developed software systems for the railways industry and for the mobile industry
• Development of tools to assess the tolerance to software errors, which is now used in production to assess Android OS low-level code. (C++11)
• Extensions for Enterprise Architect (sparxsystems.com) in C# and .NET framework,
• Tools for the analysis of post-drive run for trains (Java, Eclipse RCP Dependency
• Injection Framework).
• Developed a DSL to aid developers in testing their code Python.
• TDD (Test Driven Development), CI/CD to achieve on-time delivery of the
• product.

Sep 2013 – Jul 2014 · 10 mos · Lausanne, Vaud, Switzerland

• I contributed on the development of a tool for the automated testing of complex systems S2E. In particular, I developed an interpreter for a virtual machine, which executes symbolic expressions. The project is available at the following address: http://s2e.systems/
• Main technologies involved:
• C++ main programming language for the development of the interpreter.
• Boost libraries
• Python for the orchestration of the test suite.

May 2012 – Jun 2015 · 3 yrs 1 mo · Naples, Campania, Italy

• The goal of my work focuses a framework that enhances symbolic execution with model-based verification.
• The idea is that the developer provides a model of expected interactions between the device driver, the operating system and the device, based on documentation and domain expertise about the OS and the device.
• I proposed a language (SLANG) and a run-time support (SymCheck) to ease the developer in specifying behavioral models and checking these behavioral models through symbolic execution.
• Here I created tools in C++, python and Java. I used the Xtext framework to develop the SLANG language grammar and the editor as well.

Jan 2012 – May 2012 · 4 mos · Italy

• I was involved in evaluation of tools for distributed node monitoring: Nagios, Icinga, Zabbix.

Dec 2011 – Jun 2012 · 6 mos · Italy

• I'm involved in a task of defining toolchains for development and testing of an ATM system.