Scheda personale

Marcello Mamino

Professore Associato

Gruppo di Ricerca in Logica Matematica

Edificio A, Piano terra, Stanza 122,
L.go B. Pontecorvo, 5, 56127 Pisa (PI), Italy.

marcello.mamino@unipi.it

Incarichi

Membro di:

Centro di Calcolo Scientifico - Comitato Operativo
Consiglio CdS
Consiglio di Dipartimento

Ricerca

Pubblicazioni recenti

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]

Vedi tutte le pubblicazioni su: Arpi, MathSciNet

Finanziamenti

Models, sets and classifications (Prin 2022)
Principal Investigator: Gianluca Paolini
Periodo: Sep 28, 2023 – Sep 27, 2025

Didattica

Corsi insegnati nel corrente anno accademico:

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)