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
