Contact Details:Dr Mark Wheelhouse
Department of Computing
Imperial College London
South Kensington Campus
Room: Huxley 228
Tel: +44 (0)20 7594 3090
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.