Biografia Conseguita la laurea in Scienze Matematiche nel 1991 presso l'Università degli Studi di Roma "La Sapienza", si è trasferito in Francia dove ha ottenuto nel 1999 il dottorato di ricerca in Logica e Informatica Teorica presso l'Université Paris 7 sotto la direzione di Jean-Yves Girard.
Attualmente ricopre il ruolo di professore associato di Logica Matematica presso il Dipartimento di Matematica e Fisica dell'Università degli Studi Roma Tre. È inoltre ricercatore associato presso l'IAC del CNR.
A partire dal Giugno 2026, è Direttore Scientifico della Associazione Nazionale di Crittografia De Componendis Cifris APS.
Ricerca scientifica La sua attività di ricerca si concentra sull'intersezione tra logica formale, teoria dei numeri e sicurezza informatica.
Sistemi di numerazione In ambito teorico, Pedicini ha fornito contributi fondamentali allo studio delle espansioni in base non intera. Nel suo lavoro del 2005, Greedy expansions and sets with deleted digits, ha esteso la teoria delle espansioni "greedy" a sistemi con alfabeti reali generici. In questo contesto ha formulato la cosiddetta "Condizione di Pedicini" (Pedicini condition), un criterio necessario e sufficiente affinché l'insieme dei numeri rappresentabili da un sistema formi un intervallo continuo senza lacune topologiche. Tale condizione è ampiamente citata nella letteratura specialistica sui sistemi dinamici simbolici e sulla combinatoria delle parole.
Crittografia e Logica È attivo nel campo della crittografia nazionale come coordinatore del gruppo di lavoro CifrisCloud per l'associazione De Cifris. Nel 2025 è stato General Co-Chair della 31ª edizione della conferenza internazionale Fast Software Encryption (FSE), uno dei principali eventi mondiali sulla crittografia simmetrica organizzato dall'International Association for Cryptologic Research (IACR).
Ha inoltre applicato strumenti di logica matematica all'analisi del Paradosso dell’Informazione di Arrow, esplorandone le implicazioni logico-filosofiche in relazione all'intelligenza artificiale e alla teoria dell'informazione.
Opere principali Greedy expansions and sets with deleted digits, in Theoretical Computer Science, vol. 332, 2005. An approximation property of Pisot numbers, con V. Komornik e P. Loreti, in Journal of Number Theory, vol. 80, 2000. Parallel environment for optimal lambda-calculus reduction, con F. Quaglia, in ACM Transactions on Computational Logic, vol. 8, 2007.
Note
Collegamenti esterni