Goodbye and our best wishes to Emanuele D’Osualdo, who is joining [Derek Dreyer](https://people.mpi-sws.org/~dreyer/)'s group at the [Max Planck Institute for Software Systems (MPI-SWS)](https://www.mpi-sws.org/research-areas/programming-languages-and-verification/) in Saarbrücken, Germany in September.
Emanuele will be working on verification of concurrent programs and the [IRIS program logic](https://iris-project.org/).
