Goodbye and our best wishes to Emanuele D’Osualdo, who is joining Derek Dreyer’s group at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany in September.

Emanuele will be working on verification of concurrent programs and the IRIS program logic.