Logic and foundation
Faculty
- Francesco Ciraulo (Constructive Mathematics; Pointfree Topology; Intuitionistic Logic)
- Silvia Crafa (Interdisciplinary aspects of logic and computational thinking)
- Maria Emilia Maietti (Constructive mathematics and its foundation; Categorical Logic; Type Theory)
- Samuele Maschio (Foundational theories; Categorical logic)
- Luca Prelli (O-minimality; Cohomology)
- Davide Trotta (Category Theory; Categorical Logic; Logic)
