MENU

Logica Matematica

Faculty staff

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 formalization and theorem proving
  • Mathematics for abstract syntax and semantics
  • Univalent Foundation of Mathematics

Seminars

Seminari del dipartimento

Ultimo aggiornamento

14.03.2024

Cookie

I cookie di questo sito servono al suo corretto funzionamento e non raccolgono alcuna tua informazione personale. Se navighi su di esso accetti la loro presenza.  Maggiori informazioni