| Professione | informatico, matematico, professore universitario, logico |
|---|---|
| Nascita | 1971 |
| Istituzioni | TU Wien |
| Formazione | Università degli Studi di Milano, Università di Bologna |
| Premi | Start-Preis |
| Luogo di nascita | Ripatransone |
| Relatore di dottorato | Daniele Mundici |
| Membro di | Logicians Liberation League, Kurt Gödel Society |
Fonti: Wikidata (CC0) · Wikidata Q21252712