Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
224 commits behind the upstream repository.
2020-09-01-manu.md 479 B 
title: Goodbye to Emanuele D’Osualdo

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.