DrMark Wheelhouse

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.