Supervisione magistrale & dottorato

Accetto studenti di laurea magistrale & dottorato

Un numero limitato di studenti ogni anno. Ricevi una direzione di ricerca concreta, una supervisione diretta, articoli in coautorato in sedi peer-reviewed e un percorso chiaro dal primo articolo alla discussione della tesi — le pubblicazioni passano attraverso le riviste della piattaforma ENIGMA e sedi internazionali (IEEE Access, atti di MathAI & SmartCity).

Il tuo percorso: primo articolo in ~6 mesi → intervento a conferenza (MathAI / SmartCity) → tesi.

Direzioni

Cinque linee di ricerca

Logica matematica & computabilità

Computabilità polinomiale, semantica formale, teoremi di punto fisso — i fondamenti su cui poggia il mio stesso programma di ricerca.

Verifica dell'IA & IA affidabile

I metodi formali incontrano gli LLM: framework di verifica, controllo delle citazioni e ciò che serve per fidarsi di un modello in produzione.

Sistemi multi-agente & architetture AGI

Architetture cognitive basate su task, protocolli di coordinamento ed economie di agenti — la linea di ricerca di IEEE Access.

Smart city & gemelli digitali

Simulazione urbana basata su agenti, governance dei gemelli digitali e intelligenza civica.

Teoria della blockchain & metodi formali

Assiomatizzazione dei sistemi blockchain, registri verificabili e architetture della conoscenza a livelli.

Scrivimi una breve lettera: il tuo percorso e quale direzione ti entusiasma.

Candidati qui sotto ↓ Candidati via email →

Candidatura