Roma, Italia · 41.9028°N 12.4964°E · --:--:--
Software Engineer
Vent’anni a costruire backend che reggono il peso del tempo. Java, Spring Boot, AWS, sistemi distribuiti e l’ossessione per il codice che si lascia leggere.
// profilo professionale
Software Engineer con oltre 20 anni di sviluppo alle spalle, tra corporate e startup. Lavoro su backend Java e Spring Boot, API REST, AWS, database relazionali e NoSQL. Mi interessano clean architecture, design pattern e tutto ciò che rende un sistema manutenibile anche fra cinque anni. Ho fatto formazione tecnica e mentoring, e credo che la chiarezza progettuale valga quanto il codice che la implementa.
~/portrait
Roma, IT — --:-- CET
Laurea Magistrale in Informatica
La Sapienza · 2014 · 109/110
Rate-It! A General Purpose Polling Platform
ISIPM-base
Italian Institute of Project Management · 2011
// tecnologie di ogni giorno
↔ scorri
// contributi indipendenti
Dimostro che l’auto-certificazione in aritmetica richiede esattamente due livelli di riflessione — né più, né meno. Qualsiasi teoria ricorsivamente assiomatizzabile che definisce la verità per una teoria base T₀ e dimostra la propria correttezza si frammenta necessariamente in una gerarchia minima. La verità può essere definita al livello uno, o certificata al livello due, ma mai entrambe nella stessa teoria.
// git log --reverse --author="alain"
// sì, funziona davvero. prova `help`
// aperto a collaborazioni, consulenze e buone idee