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
  • Orthogonal decomposition of definable groups [2023]
  • 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]
See all the publications at: Arpi, MathSciNet
Grants

Teaching

Courses for the current academic year:

  • GEOMETRIA (Cod. 431AA) CdS IEA-LM5 INGEGNERIA EDILE-ARCHITETTURA (Registro)
  • LOGICA MATEMATICA (Cod. 064AA) CdS MAT-L MATEMATICA (Registro)
  • LOGICA MATEMATICA (Cod. 064AA) CdS WMA-LM MATEMATICA (Registro)
  • MATEMATICA ED ELEMENTI DI STATISTICA (Cod. 805AA) CdS CHTF-LM5 CHIMICA E TECNOLOGIA FARMACEUTICHE (Registro)
  • Laboratorio di formalizzazione di dimostrazioni matematiche tramite il software Lean (Cod. 00000) CdS 4 Corso di recupero (Registro)
Back to top