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 partial separation logics such as TaDA to total correctness.