d-osualdo.md

firstname: Emanuele
lastname: D'Osualdo
position: Researcher
webpage: http://www.emanueledosualdo.com/
email: e.dosualdo@imperial.ac.uk
github: bordaigorl
alumnus: true
projects:
  - concurrency

Emanuele joined the group as a Marie-Curie Fellow in 2018 with his project “Verification through Security and Progress Abstractions” (VeSPA). In 2020 he moved to the Max Planck Institute for Software Systems (MPI-SWS), Germany, to work on the verification of concurrent programs with the IRIS program logic project.