Dr Martyn Prigmore
About Dr Martyn Prigmore
Martyn began his academic career as a mathematician, studying pure mathematics at the University of St Andrews before completing a PhD in the theory of finite sets at the University of Bristol. He then worked in the IT industry for seven years, developing ticketing and train planning software for the rail industry, and billing and meter reading software for the electricity retail industry.
Martyn moved back into the higher education sector in 1999 as a senior lecturer at our university. He has since worked for London South Bank University and the University of Huddersfield. In 2015 he returned to take up a post at Leeds Beckett University to develop a new joint course in Mathematics and Computer Science.
Martyn's teaching is divided between mathematics and computer science. Fundamentals of Mathematics acts as a bridge between school and university mathematics, while Introduction to Mathematical Logic covers key logical techniques, such a truth tables and proof systems, and proves important results, including soundness and completeness theorems. He leads the second year computer science project/placement modules, and helps to deliver various programming modules.
Effective scholarship requires ongoing engagement with the research literature, and this in turn must be aligned with teaching commitments. The goal is a harmonious, positive feedback between teaching and research. As his teaching has changed over the years, so has Martyn's research focus. Developing the mathematics and computer science course has allowed him to move back towards his original interest in mathematical logic, and in particular to its applications in computer science.