Logica Matematica
Faculty staff
PhD Students
- Matteo Calosci
Research topics
Model Theory
- Valuation theory
- o-minimality and generalizations
- Surreal numbers
- differential algebra
- Interactions with algebra
Logic for Computer Science
- Computer formalization and theorem proving
- Mathematics for abstract syntax and semantics
- Univalent Foundation of Mathematics
Seminars
Ultimo aggiornamento
14.03.2024