Dr. Mark Wheelhouse



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 am also helping out with 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 Seperation 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.

Record last modified Jun 6, 2016 3:29:36 PM