牛津大学数学研究所开设的数学和计算机科学基础理学硕士专注于纯数学和理论计算机科学之间的接口。数学方面集中在使用计算机或与计算机科学相关的领域，即代数，一般拓扑，数论，组合和逻辑。 计算方面的示例包括计算复杂性，并发性和量子计算。 该课程适合那些希望从事纯数学（特别是代数、数论、组合学、一般拓扑学及其计算方面），数学逻辑或理论计算机科学研究的人，也适合希望进入行业并了解数学和逻辑设计和并发性的学生。