Lavoro all'intersezione tra logica matematica, verifica dell'AI e progettazione di sistemi su larga scala. La mia tesi centrale: i contesti in cui l'AI ormai prende decisioni — città, governi, sistemi autonomi multi-agente — hanno bisogno di un livello indipendente e verificabile che controlli ciò che l'AI produce, come un revisore controlla i conti di un'azienda.
La mia formazione è in logica matematica e programmazione semantica — lavori sui teoremi di punto fisso alla Gandy, il problema P = L e rappresentazioni polinomialmente computabili di sistemi formali. Da lì sono passato all'infrastruttura AI applicata: metodi di AI affidabile che combinano grandi modelli linguistici con la logica formale, e il motore di verifica ENIGMA Axiom che mette in pratica questi metodi.
Oggi offro consulenza a organizzazioni che costruiscono AI ad alto rischio — tramite IAIC FZCO a Dubai — e organizzo conferenze (MathAI, SmartCity, eventi IAIC) e iniziative editoriali che riuniscono la comunità di ricerca intorno all'AI affidabile.
P = L, analoghi polinomiali del teorema di punto fisso di Gandy, rappresentazioni polinomialmente computabili.
Combinazione di LLM con sistemi di logica formale; controllo formale + fattuale degli output dei modelli (ENIGMA Axiom).
Città virtuali, gemelli digitali e società di AI autonome su scala urbana.
Architetture cognitive basate su task; AI + registri verificabili per l'efficienza governativa e l'intelligenza civica.
Offro consulenza a organizzazioni che costruiscono AI ad alto rischio — fatturata tramite IAIC FZCO, Dubai.
Vedi la consulenza & prenota una sessione →