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
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/), Germany, to work on the verification of concurrent programs and the [IRIS program logic](https://iris-project.org/).
