School of Science / Department of Foundational Mathematics