Emanuele D'Osualdo @emanueledosualdo@types.pl

Researcher in Computer Science at MPI-SWS, formerly Marie Curie fellow at Imperial College.
Verification, concurrency, looking at things from different angles.
Music enthusiast.