Nico Pellegrinelli

PhD Student in Computer Science · University of Bergamo, Italy

My research interests include software engineering, formal methods, and model-based testing, with a particular focus on artificial intelligence for software engineering (AI4SE) and software engineering for artificial intelligence (SE4AI). My CV is available here.

Academic Experience

PhD in Technology, Innovation and Management

University of Bergamo

Research on artificial intelligence for software engineering (AI4SE) and software engineering for artificial intelligence (SE4AI), with a focus on the use of large language models in formal methods and on robustness analysis of neural networks.

November 2025 - Present

Research Fellow

University of Bergamo

Conducted research on model-based testing and formal methods, focusing on automated test generation and validation of state-based systems, including tool development and extensions to the ASMETA framework.

October 2024 - October 2025

MSc in Computer Engineering

University of Bergamo

Thesis: Automatic Generation of Test Cases for Statecharts in itemis CREATE
(110/110 cum laude)

October 2022 - September 2024

BSc in Computer Engineering

University of Bergamo

Thesis: Mobile robot simulation in Unity with ROS 2 integration
(110/110)

July 2019 - October 2022

Publications

[1] Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli
NFM 2025
[2] Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli
ICTSS 2025
[3] Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta Models@run.time
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli, Patrizia Scandurra
ABZ 2025
[4] Forensic-DataFusion-Tool: A Python-based application for exploratory forensic data analysis
Giorgio Felizzato, Michele Verdi, Angelo Gargantini, Nico Pellegrinelli, Francesco Saverio Romolo
Software Impacts

Teaching Assistant

Master Courses

38089-MOD1 - Artificial Intelligence, University of Bergamo (Spring 2025, Spring 2026)
21056 - Software Testing and Verification, University of Bergamo (Spring 2025, Spring 2026)

Bachelor Courses

95036 - Databases in Medicine, University of Bergamo (Spring 2026)
21034 - Software Engineering, University of Bergamo (Fall 2024, Fall 2025)
95004, 23031, 228518-M1 - Computer Science, University of Bergamo (Fall 2024, Spring 2025, Fall 2025)