MSc @ Politecnico di Milano MSc @ Politecnico di Milano

Ciao, sono
Alessio Basili
Hi, I'm
Alessio Basili

Ingegnere informatico in fase di completamento della magistrale al Politecnico di Milano. Costruisco cose a tutti i livelli dello stack — dagli algoritmi embedded e le pipeline IoT alle REST API. La mia tesi fa parte di SmartRoadSense, piattaforma europea di crowdsensing stradale (EU H2020). Computer Science Engineer finishing my MSc at Politecnico di Milano. I build things across the stack — from low-level algorithms and IoT pipelines to REST APIs. My thesis is part of SmartRoadSense, an EU-funded crowdsensing platform for road quality monitoring (EU H2020).

// alessiobasili.com const engineer = { name: "Alessio Basili", msc: "Politecnico di Milano", stack: ["Python", "C#", "Dart", "Java"], iot: ["MQTT", "Raspberry Pi", "Contiki"], db: ["PostgreSQL", "MongoDB"], coffee: "☕ always", };

// 01 — about

Chi sono About me

Triennale in Informatica Applicata a Urbino, magistrale in corso al Politecnico di Milano. Ho lavorato su progetti che spaziano dalla verifica formale di modelli concorrenti in NuSMV all'ottimizzazione di algoritmi in Assembly, fino a pipeline IoT complete e servizi web deployati in produzione.

La mia tesi magistrale è parte di SmartRoadSense, una piattaforma reale di crowdsensing stradale finanziata dall'UE (H2020 CROWD4ROADS). Ho analizzato gli algoritmi esistenti in C#, studiato Dart per adattarli e condotto una fase di testing per garantire risultati coerenti e accurati.

Ho anche esperienza come docente supplente di Informatica e Tecnologia. Fuori dal codice: arbitro di calcio FIGC, commissario di percorso ACI Sport (WRC Sardinia, WRC Roma Capitale, CIR) e membro del consiglio dell'A.S.D. Team RCM per oltre dieci anni.

Bachelor's in Applied Computer Science from Urbino, Master's in progress at Politecnico di Milano. My projects span a wide range — from formal verification of concurrent models in NuSMV and hand-optimised Assembly algorithms to full IoT data pipelines and production-deployed web services.

My Master's thesis is part of SmartRoadSense, a real-world crowdsensing platform funded by the EU (H2020 CROWD4ROADS). I analysed the existing C# algorithms, studied Dart to adapt and implement them, then ran a thorough testing phase to ensure consistent, accurate results.

I also have experience as a substitute CS teacher. Outside of code: FIGC football referee, qualified ACI Sport course marshal (WRC Sardinia, WRC Roma Capitale, Italian Rally Championship), and board member of A.S.D. Team RCM for over a decade.

Python
Java / C / C#
Dart
JavaScript / PHP
PostgreSQL / MySQL
MongoDB
Docker
Git / GitHub
MQTT / IoT
Pandas / NumPy

// 02 — education

Formazione Education

Feb 2022 — Present
Milano, MI

Politecnico di Milano

Laurea Magistrale in Computer Science and Engineering

Master's Degree in Computer Science and Engineering

Feb 2022
Urbino, PU

Università degli Studi di Urbino 'Carlo Bo'

Laurea Triennale in Informatica Applicata

Bachelor's Degree in Applied Computer Science

Jul 2017
Urbino, PU

I.T.I.S. 'Enrico Mattei'

Diploma di Istituto Tecnico — Specializzazione Informatica e Telecomunicazioni

Technical High School Diploma — Computer Science & Telecommunications

// 03 — projects

Progetti Projects

🛣️

SmartRoadSense — Thesis

Tesi magistrale nel contesto del programma EU H2020 CROWD4ROADS. Ho analizzato gli algoritmi di sensing di SmartRoadSense in C#, li ho portati in Dart seguendo i paradigmi corretti del linguaggio e ho validato il porting con una fase di testing dedicata per garantire risultati coerenti con l'originale.

Master's thesis within the EU H2020 CROWD4ROADS programme. I studied the core sensing algorithms of SmartRoadSense in C#, ported them to Dart following idiomatic patterns, and validated the output with a dedicated testing phase to ensure results matched the original implementation.

Dart C# EU H2020 Crowdsensing
🌐

URL Shortener API

Web service con API RESTful per la creazione, gestione e redirect di URL abbreviati, deployato su Heroku. Ho sviluppato anche un Telegram Bot come interfaccia client, così da rendere il servizio accessibile direttamente in chat senza aprire il browser.

REST API for creating, managing, and resolving shortened URLs, deployed on Heroku. I also built a Telegram Bot as a client interface — making the service accessible directly from chat, no browser needed.

REST API Heroku Telegram Bot
📡

IoT Device & Pipeline

Progettazione e simulazione di un dispositivo IoT in rete con COOJA e Contiki. Ho realizzato la pipeline completa: i dati del sensore viaggiano via MQTT, vengono elaborati in Node-RED e visualizzati in tempo reale su ThingSpeak — coprendo comunicazione, trasporto e visualizzazione end-to-end.

Designed and simulated a networked IoT device in COOJA/Contiki, then wired up the full data pipeline: sensor readings travel over MQTT, are processed in Node-RED, and land on a ThingSpeak real-time dashboard — end-to-end, from device communication to visualisation.

IoT MQTT Contiki / COOJA Node-RED ThingSpeak
📷

Self-hosted Surveillance Camera

Sistema di videosorveglianza completamente self-hosted su Raspberry Pi: registrazione video e foto, con accesso remoto sicuro tramite una VPN configurata e gestita in autonomia. Nessun cloud di terze parti, controllo totale sull'infrastruttura.

Fully self-hosted surveillance system on a Raspberry Pi: video and photo recording, accessible remotely through a self-managed VPN. No third-party cloud — full control over the infrastructure.

Raspberry Pi VPN Linux
🚗

Parking Lot Manager

Applicazione desktop completa per la gestione di un parcheggio, sviluppata in C# con GUI in Visual Studio. Progettata seguendo il pattern MVC per separare logica, dati e presentazione, con gestione degli slot, tracciamento entrate/uscite e reportistica.

Full-featured desktop application for parking lot management, built in C# with a GUI in Visual Studio. Designed around the MVC pattern to cleanly separate logic, data, and presentation — covering slot tracking, entry/exit management, and reporting.

C# Visual Studio MVC
📊

Performance Evaluation

Modellazione di reti di code e workload applicativi per analizzare throughput, tempi di risposta e utilizzo delle risorse. Python per l'elaborazione dei dati, Java Modeling Tool (JMT) per simulazione e analisi analitica.

Modelled queueing networks and application workloads to analyse throughput, response times, and resource utilisation. Python for data processing, Java Modeling Tool (JMT) for simulation and analytical solving.

Python JMT Queueing Theory
Select-Sort ottimizzato in Assembly Optimised Select-Sort in Assembly
x86 Assembly · low-level optimisation
Verifica formale di modelli concorrenti Formal Verification of Concurrent Models
NuSMV · concurrency · model checking

// 04 — contact

Contatti Get in touch

Hai un progetto interessante o un'opportunità da condividere? Scrivimi — rispondo sempre.

Have an interesting project or opportunity to share? Drop me a line — I always reply.