cherubino

Person details

Marcello Mamino
Associate Professor

Mathematical Logic Research Group

Building A, Ground floor, Room 122,
L.go B. Pontecorvo, 5, 56127 Pisa (PI), Italy.

marcello.mamino@unipi.it

0502213241

Administrative duties

Member of:
  • Centro di Calcolo Scientifico - Comitato Operativo
  • Consiglio CdS
  • Consiglio di Dipartimento

Research

Recent publications
  • Asymptotic analysis of Skolem's exponential functions [2022]
  • One Lie Group to Define Them All [2022]
  • Provability logic: models within models in Peano Arithmetic [2022]
  • Fundamental group in o-minimal structures with definable Skolem functions [2021]
  • Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation [2021]
See all the publications at: Arpi, MathSciNet
Grants

Teaching

Courses for the current academic year:

  • ELEMENTI DI TEORIA DEGLI INSIEMI (Cod. 053AA) CdS MAT-L MATEMATICA (Registro)
  • MATEMATICA (Cod. 033AA) CdS CTF-LM5 CHIMICA E TECNOLOGIA FARMACEUTICHE (Registro)
Back to top