sutherland.md

---
firstname: Julian
lastname: Sutherland
position: PhD Student
webpage: http://www.doc.ic.ac.uk/~jhs110/
email: jhs110@doc.ic.ac.uk
alumnus: false
projects:
  - concurrency
  - sl
---

Julian is a PhD student with the group, currently working on extending 
concurrent separational logics such as TaDA to a total correctness semantics (termination).