Mark Wheelhouse

Contact Details:

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

Room: Huxley 228
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 Undergraduate Second Year Coordinator in the Department of Computing at Imperial College London. It is my job to ensure the smooth running of the second year of our computer science degree. Much of my time is spent running the second year labs, but I also lecture the first year "Reasoning about Programs" course.

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 2008 with first class honours and winning the Donald Davies Memorial Prize.