diff --git a/_people/sutherland.md b/_people/sutherland.md index 8288cc5fd2616a274fb8b3ad6134689eacaa605f..3db7903f6c947d53bedd6f7956c9f44501692682 100644 --- a/_people/sutherland.md +++ b/_people/sutherland.md @@ -10,3 +10,5 @@ projects: - sl --- +Julian is a PhD student with the group, his research focuses on extending +concurrent separational logics such as TaDA to a total correctness semantics (termination).