Foundational Studies Bristol
Foundational Studies Bristol (FSB) is a research group at the University of Bristol focusing on issues in the foundations of mathematics, as well as logic and philosophy of mathematics more widely construed.
For a sample of our recent publications see our research page. We also regularly host research projects. Our research generally focuses on logic and philosophy of mathematics. Some of our specific research interests are formal theories of truth, set theory and homotopy type theory.
If you're interested in visiting or joining FSB, there's some information on our join FSB page.