| Professione | informatico, professore universitario, logico |
|---|---|
| Nascita | 1959 |
| Istituzioni | École polytechnique |
| Formazione | Università di Pisa |
| Premi | Inria - French Académie des sciences Prize |
| Luogo di nascita | Fucecchio |
| Relatore di dottorato | Giorgio Levi |
| Membro di | European Association for Computer Science Logic, SIGLOG |
Fonti: Wikidata (CC0) · Wikidata Q93944827