Skip to content
Snippets Groups Projects
Normal view Permalink
d-osualdo.md 717 B
Newer Older
Teresa Carbajo-Garcia's avatar
Update DOsualdo.md  
Teresa Carbajo-Garcia committed
1 
---
Teresa Carbajo-Garcia's avatar
Add new file
Teresa Carbajo-Garcia committed
2 3 
firstname: Emanuele
lastname: D'Osualdo
Sacha Ayoun's avatar
RA->Researcher + add s to alumni section  
Sacha Ayoun committed
4 
position: Researcher
Teresa Carbajo-Garcia's avatar
Add new file
Teresa Carbajo-Garcia committed
5 6 
webpage: http://www.emanueledosualdo.com/
email: e.dosualdo@imperial.ac.uk
Thomas Wood's avatar
Fix linking of Emanuele's name to publications.  
Thomas Wood committed
7 
github: bordaigorl
Teresa Carbajo-Garcia's avatar
Update d-osualdo.md  
Teresa Carbajo-Garcia committed
8 
alumnus: true
Teresa Carbajo-Garcia's avatar
Add new file
Teresa Carbajo-Garcia committed
9 
projects:
Teresa Carbajo-Garcia's avatar
Update DOsualdo.md  
Teresa Carbajo-Garcia committed
10 
  - concurrency
Thomas Wood's avatar
Fix linking of Emanuele's name to publications.  
Thomas Wood committed
11 
---
Teresa Carbajo-Garcia's avatar
Update d-osualdo.md  
Teresa Carbajo-Garcia committed
12
Teresa Carbajo-Garcia's avatar
Update d-osualdo.md  
Teresa Carbajo-Garcia committed
13 
Emanuele joined the group as a Marie-Curie Fellow in 2018 with his project [“Verification through Security and Progress Abstractions” (VeSPA)](https://www.emanueledosualdo.com/blog/2018/announce-marie-curie-fellowship.html). In 2020 he moved to 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 with the [IRIS program logic](https://iris-project.org/) project.