
Professore Associato
Gruppo di Ricerca: Logica Matematica
Edificio A,
Piano Terra, Stanza 122,
L.go B. Pontecorvo, 5, 56127 Pisa (PI), Italy.
L.go B. Pontecorvo, 5, 56127 Pisa (PI), Italy.
Pubblicazioni recenti
- One Lie Group to Define Them All [2022]
- Fundamental group in o-minimal structures with definable Skolem functions [2021]
- Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation [2021]