Julian Sutherland

About me

I am Julian Sutherland, a PhD student in the Program Specification and Verification Group under Professor Philippa Gardner at Imperial College London.
My research currently focuses on extending concurrent separational logics such as TaDA to a total correctness semantics (termination).