Skip to content
Snippets Groups Projects
Commit 4fe285ed authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update sutherland.md

parent a65803bd
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 0 deletions
_people/sutherland.md
+ 2
− 0
View file @ 4fe285ed
...@@ -10,3 +10,5 @@ projects: ...@@ -10,3 +10,5 @@ projects:
- sl - 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).
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment