Mark Wheelhouse

Dr. Mark Wheelhouse is a Teaching Professor in the Department of Computing at Imperial College London. He serves as Joint Maths and Computing (JMC) Director and Undergraduate Second Year Coordinator. His roles include curriculum development, lab coordination, and overseeing the JMC degree program. He lectures on first-year modules like "Logic & Reasoning" and "Reasoning about Programs".

Education: Joint Masters in Mathematics and Computer Science from Imperial College London (2003-2007), graduating with first-class honours and winning the Donald Davies Memorial Prize. Previously, he completed a PhD under Prof. Philippa Gardner, focusing on extending Context Logic for concurrent program analysis, resulting in Segment Logic.

Research interests span online education, automated testing systems (e.g., LabTS), formal verification techniques, concurrency, and programming language theory. He advocates for online learning platforms like EdStem and Piazza to enhance teaching support.

Lab involvement includes developing the automated Lab Testing System (LabTS) and advancing formal logic frameworks for program analysis. His work intersects theoretical computer science with practical educational tools.