diff --git a/_people/d-osualdo.md b/_people/d-osualdo.md index 0ba55870370dd15aa70d50065a2021c52c78b794..7f68ec66dc8dc0c8c3d491e0955ed0c45df400da 100644 --- a/_people/d-osualdo.md +++ b/_people/d-osualdo.md @@ -11,7 +11,5 @@ projects: redirect_from: /people/dosualdo.html --- -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 +Emanuele D'Osualdo was a Marie-Curie Fellow with the group. In 2020 he joined the [Max Planck Institute for Software Systems (MPI-SWS)](https://www.mpi-sws.org/research-areas/programming-languages-and-verification/) to work in IRIS as part of [Derek Dreyer]( https://people.mpi-sws.org/~dreyer/)'s group +