Ricerca Settori DisciplinariLogica Matematica

Logica Matematica

Faculty staff

• Antongiulio Fornasiero
• Marco Maggesi

PhD Students

• Matteo Calosci

Research topics

 

Model Theory

Antongiulio Fornasiero

• Valuation theory
• o-minimality and generalizations
• Surreal numbers
• differential algebra
• Interactions with algebra

 

Logic for Computer Science

Marco Maggesi

• Computer Theorem Proving for Modal Logic.
• Computer Theorem Proving for Algebra and Geometry.
• Foundations (including Univalent Foundations) for Computer Theorem Proving.
• Computational logic and AI methods for Computer Theorem Proving.
• Mathematical Structures for Syntax and Semantics of languages with bindings.
  
  

Seminars

Logic at DIMAI Events