sutherland.md

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

Julian defended his PhD thesis, Compositional termination verification for fine-grained concurrency, in 2022. Julian is currently a Formal Verification Engineer at Nethermind, a blockchain company working on Ethereum.