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