Mark Wheelhouse

Contact Details:

Dr Mark Wheelhouse
Principal Teaching Fellow
Department of Computing
Imperial College London
South Kensington Campus

Room: Huxley 306
Tel: +44 (0)20 7594 3090

Research Interests:

  • On-line Teaching and Assessment
  • Automated Testing
  • Automated Program Verification
  • Formal Verification
  • Program Language Design
  • Segment Logic
  • Context Logic
  • Separation Logic
  • Concurrency
  • Graph Theory
  • Process Calculi
  • Linear Programming

About Me

I am currently the Joint Maths and Computing (JMC) Director in the Department of Computing at Imperial College London. It is my job to ensure the smooth running of all years of the JMC degree course. This involves ongoing curriculum review and liaising with staff in both the Computing and Mathematics Departments. I also lecture on the first year "Logic & Reasoning" and "Reasoning about Programs" modules.

I still hold my role as the Undergraduate Second Year Coordinator in the Department of Computing. This mostly involves coordinating the second year labs and developing our automated Lab Testing System (LabTS). I have also championed and organised the use of online discussion platforms (originally Piazza and lately EdStem) to support the teaching of all of our modules.

I was previously a PhD Student within the Department of Computing under the supervision of Prof. Philippa Gardner. My PhD was primarily concerned with extending Context Logic, a high-level spatial logic similar to Separation logic, to handle reasoning about Concurrent programs. In particular I developed Segment Logic, a logic for fine-grained manipulation of data structures at the high-level.

I undertook a Joint Masters Degree in Mathematics and Computer Science at Imperial College London in 2003, graduating in 2007 with first class honours and winning the Donald Davies Memorial Prize.