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/).
