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
635 commits behind the upstream repository.
raad.md 689 B 
firstname: Azalea
lastname: Raad
position: PhD Student
webpage: http://www.doc.ic.ac.uk/~azalea/
email: azalea@imperial.ac.uk
alumnus: true

Azalea Raad was a PhD student with the group, defending her thesis on Abstraction, Refinement and Concurrent Reasoning in February 2017. She is now a postdoctoral researcher at the Max Planck Institute for Software Systems (Kaiserslautern), working with Derek Dreyer and Viktor Vafeiadis and a member of the ERC RustBelt project.