IT consultant, backend engineer, and CS educator. I build production services, teach Computer Science at university and high school level, and develop open-source tools focused on accessibility and inclusive design.
Currently working as IT Consultant at Technology Reply, building microservices and backend platforms for the Generali insurance group. Alongside industry work, I have taught for many years as a private tutor, a teacher in high school and served as tutor at the University of Padua across formal languages, computability theory, and accessibility. My work consistently sits at the intersection of reliable engineering, inclusive design, and clear communication.
♿ Web & Mobile Accessibility 🔐 Cybersecurity & Cloud 🚀 DevOps & CI/CD ⛓️ Blockchain & DApps 🏗️ Software Architecture 🤖 AI Agents & MCP ⚗️ Type Systems & Functional PL 👨🏫 CS Education
| Core Languages |
Functional & Academic
|
Frontend & Mobile |
Backend & Data |
DevOps & Cloud
|
AI & Research
|
Accessibility & Standards
|
Languages Spoken
 
|
|
350h inclusion support · 150h didactic tutoring · 10+ years private teaching |
|
M.Sc. Thesis — Mobile Accessibility Learning Toolkit React Native app implementing WCAG 2.2, MCAG and WCAG2Mobile guidelines with interactive learning modules for developers 
|
Cross-provider Agent Skill Library Reusable skill collection for Claude Code, Codex CLI and other AI providers — portable agent workflow primitives
|
|
Spring Boot 2.7 → 3.x → 4.x Migration Guide Practical migration guide cross-checked against official sources, verified with a working demo app at every stage 
|
Symbolic Formal Methods for Reactive Systems BDD-based supervisor synthesis (CIF/ESCET) and symbolic model checking of safety/response properties (PyNuSMV/NuSMV) 
|
|
B.Sc. Thesis — Blockchain Authentication Verifiable Credentials and Zero-Knowledge Proofs for secure authentication on Ethereum, built during an internship at Sync Lab 
|
Security & Accessibility Auditing Extension Chrome MV3 extension — live element highlighting, dual score gauges, WCAG + security vulnerability audit, exportable HTML reports 
|
📚 More Projects — Production, Research & Academic
|
ML interpreter with Hindley-Milner type inference, implemented in F#
|
Reactive real-time event processing — Spring WebFlux, MongoDB, Redis 
|
|
ML-based anomaly detection — microservices with FastAPI, Streamlit, RabbitMQ 
|
Functional stream processing framework with formal guarantees, in F#
|
|
Cross-platform photo editing — Flutter UI, Rust image filters compiled to WebAssembly 
|
Local single-tenant IoT platform inspired by Astarte — MQTT + HTTP ingest, SQLite storage
|
|
Native desktop music downloader — FastAPI + yt-dlp + pywebview 
|
Comprehensive LaTeX notes for UniPD CS Bachelor & Master programs 
|
|
WCAG 2.1 AA compliant templates for university admission tests, aligned with European Accessibility Act 2025 
|
Python migration script — 97% success rate (2151/2205 tracks transferred)
|
|
Concurrent and distributed graph processing patterns in Erlang and Go 
|
Clean, minimal CV template built with Typst for the modern developer workflow
|
🏆 Top 50 STEM Students (39th, UniPD 23/24) · 🥈 Web Accessibility Competition runner-up |
-012169?style=for-the-badge&logoColor=white){kind=icon}
|
🥋 Brown belt in Shotokan karate — nine years of practice · 📕 Poetry reader and writer — depth over noise · 🎵 Musicophile — funk, soul, Michael Jackson · 🎮 Retro gaming collector and game design enthusiast