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

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]

Vedi tutte le pubblicazioni su: Arpi, MathSciNet

Finanziamenti

Mathematical Logic: models, sets, computability (Prin 2017)
Principal Investigator: Alessandro Berarducci
Periodo: Aug 01, 2019 – Aug 19, 2023

Didattica

Corsi insegnati nel corrente anno accademico:

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