diff --git a/_people/d-osualdo.md b/_people/d-osualdo.md index aa609fe817ab90055cf9466d90b5687c90607b0e..869cafaa16ac7799585fd4b3035912cf29e35044 100644 --- a/_people/d-osualdo.md +++ b/_people/d-osualdo.md @@ -11,6 +11,7 @@ projects: redirect_from: /people/dosualdo.html --- -Emanuele D'Osualdo is a Research Associate with the group. His research interests include Semantics, -Models of Concurrency, Static Analysis, Process Algebra, Security, -Abstract Interpretation, Model Checking, Programming Languages, Declarative Programming. +Emanuele D'Osualdo is a Marie-Curie Fellow in Theoretical Computer Science, +at Imperial College London, working with Philippa Gardner. His research interests +include Semantics, Models of Concurrency, Static Analysis, Process Algebra, Security, +Abstract Interpretation, Model Checking, Programming Languages, Declarative Programming. \ No newline at end of file