Ernesto Casablanca's CV

Introduzione

Sono appassionato dell'intero settore IT, in tutte le sue ramificazioni, ma ammetto di avere una particolare predilezione per lo sviluppo software, con un focus su best practices, design patterns, processi CI/CD e tutto ciò che riguarda il mondo del cloud computing. La mia curiosità mi ha spinto a esplorare un'ampia gamma di settori, acquisendo conoscenze trasversali che desidero valorizzare al massimo. Attualmente sto conseguendo un PhD in Informatica presso la Newcastle University, con un focus sulla formal verification, sia nel contesto degli SMT solvers sia dei cyberphysical systems.

Formazione

Newcastle University, Informatica

PhD

Newcastle upon Tyne, UK

Set 2023 – presente

Università degli Studi di Catania, Informatica (LM-18)

MS

Catania, IT

Set 2021 – Set 2023

Università degli Studi di Catania, Informatica (L-31)

BS

Catania, IT

Set 2018 – Set 2021

Esperienza

SymAware, Lead Software Engineer

Newcastle upon Tyne, UK

Gen 2024 – Apr 2026

Lead software engineer responsabile dell'integrazione dei componenti provenienti da tutti i partner del consorzio nel progetto SymAware, un progetto https://doi.org/10.3030/101070802 finalizzato allo sviluppo di un sistema di guida autonoma simbiotica.

Newcastle University, Demonstrator

Catania, IT

Feb 2024 – Dic 2025

Ho supportato gli studenti nei moduli undergraduate CSC2034, CSC1033, CSC8017, CSC3631, CSC8110, CSC3231, CSC3432

Università degli Studi di Catania, Tutor

Catania, IT

Set 2022 – Giu 2023

Ho supportato gli studenti di triennale nei corsi di 'Reti di Calcolatori' e 'Ingegneria del Software'.

CTmobi, Software Engineer

Catania, IT

Nov 2021 – Mag 2022

Progettazione e sviluppo di temi e plugin WordPress, frontend carousel e SPA per la gestione backend per conto di networkdigital360, analisi e security audit del codice, debugging e ottimizzazione di applicazioni web

Università degli Studi di Catania, Research Assistant

Catania, IT

Gen 2021 – Set 2022

Ricerca e studio sull'applicazione della tecnologia blockchain per garantire trustworthiness in scenari di produzione energetica distribuita, finanziata dal Prot. n. 0790700, 18/10/2021.

Freelance, Software Engineer

Catania, IT

Apr 2021 – Nov 2021

Sviluppo e manutenzione di bot Telegram per piccole imprese

Attività

The 40th Annual AAAI Conference on Artificial Intelligence

Singapore, SG

Gen 2026

Ho presentato e mostrato il poster per l'articolo 'LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems'.

HackTheBurgh XII

Edimburgo, UK

Nov 2025

Ho partecipato alla dodicesima edizione dell'HackTheBurgh Hackathon.

UK Quantum Hackathon

Edimburgo, UK

Ago 2025

Ho partecipato al Quantum Hackathon 2025 del NQCC.

Formula Student AI

Silverstone, UK

Lug 2025

Ho partecipato alla competizione Formula Student AI 2025 organizzata da IMECHE presso il circuito di Silverstone con il team della Newcastle University.

Drive Forward 2025

Eindhoven, NL

Apr 2025

Presentazione di una demo dal vivo del framework SymAware.

HackTheBurgh X

Edimburgo, UK

Mar 2024

Ho partecipato alla decima edizione dell'HackTheBurgh Hackathon.

DURHACK

Durham, UK

Nov 2023

Ho partecipato all'edizione 2023 dell'Hackathon della Durham University.

CyberChallenge.IT

Torino, IT

Giu 2023

Ho partecipato all'edizione 2023 della Cybersecurity Challenge italiana, competizione nazionale organizzata dal Cybersecurity National Lab del CINI con il supporto dell'Agenzia per la Cybersicurezza Nazionale.

BLOckchain for Renewables INtegration 2022 Workshop

Palermo, IT

Set 2022

Ho presentato l'articolo 'Providing Trust in a Dynamic Distributed Energy Production Scenario by means of a Blockchain'.

Progetti

LUCID

Lifting-based Uncertain Control Invariant Dynamics (LUCID) software.

rules_doxygen

Regole Bazel per la generazione della documentazione Doxygen.

IAC-VPN

Soluzione Infrastructure-as-Code per il deployment automatico di un server VPN su cloud.

Dotingestion2

Pipeline ETL per l'analisi dei dati provenienti dal gioco DOTA 2.

Quantum random walk simulation

Studio sui random walk quantistici utilizzando Qiskit

Linear System Solver

Implementazione parallelizzata su GPU di un solver di sistemi lineari basato sull'eliminazione Gaussiana.

Telegram SpottedDMI Bot

Telegram bot che gestisce @Spotted_DMI_Bot, utilizzato dai studenti di informatica a Catania.

Articoli

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems

Mar 2026

Toolbox per la verifica formale data-driven di sistemi dinamici stocastici.

Ernesto Casablanca, Oliver Schön, Paolo Zuliani, Sadegh Soudjani

10.1609/aaai.v40i24.39075 (AAAI 2026)

Blending Participatory Design and Artificial Awareness for Trustworthy Autonomous Vehicles

Nov 2025

Modello data-driven di un pilota umano basato su uno studio su larga scala sulle interazioni uomo-AV.

Ana Tanevska, Ananthapathmanabhan Ratheesh Kumar, Arabinda Ghosh, Ernesto Casablanca, Ginevra Castellano, Sadegh Soudjani

10.1109/RO-MAN63969.2025.11217774 (RO-MAN 2025)

SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness

Set 2024

Framework per lo sviluppo di sistemi multi-agente affidabili con consapevolezza situazionale.

Ernesto Casablanca, Zengjie Zhang, Gregorio Marchesini, Sofie Haesaert, Dimos V. Dimarogonas, Sadegh Soudjani

10.48550/arXiv.2409.14833 (arXiv preprint)

Providing Trust in a Dynamic Distributed Energy Production Scenario by means of a Blockchain

Feb 2023

Studio sull'applicazione della tecnologia blockchain per la trustworthiness in scenari di produzione energetica distribuita dinamica.

Andrea Calvagna, Ernesto Casablanca, Giovanni Marotta, Giuseppe Pappalardo, Emiliano Tramontana

10.1109/BLORIN54731.2022.10028019 (BLORIN 2022)

Abilità

Lingue: Italiano (madrelingua), Inglese (C1), Cinese (principiante)

Linguaggi di programmazione: Python, C++, C, C#, Java, JavaScript, Typescript, PHP, SQL, Bash, GDScript, MATLAB, OpenCL, CUDA, Solidity, Kotlin

Cloud: Kubernetes, AWS, GCP, Azure, Docker, Terraform, Ansible, GitHub Actions, CloudFormation

Frameworks and Libraries: NumPy, matplotlib, Pandas, SciPy, GMP, ROS, React, Astro

Strumenti: Git, GitHub, Docker, LaTeX, Jupyter, VS Code, CLion, Bazel, WordPress, Godot, Unity, Prescan, CARLA, pybullet, Tamarin, Mermaid, Kafka, Spark

Databases: SQLite, MySQL, PostgreSQL, MongoDB, DynamoDB, Cassandra

Certificazioni

Videogames

Without roots, Tower defense

Ago 2021

Ernesto Casablanca, Corrado Crisafulli, Alice Bivona, Matteo Franchetti

Deep down, Platformer

Feb 2021

Ernesto Casablanca, Corrado Crisafulli, Alice Bivona

Moonlight, Puzzle, Platformer

Ago 2020

Ernesto Casablanca, Corrado Crisafulli