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

was a PhD student with the group, defending her thesis on Abstraction, Refinement and Concurrent Reasoning in February 2017. She then moved to the Max Planck Institute for Software Systems (Kaiserslautern) working a postdoctoral researcher with Derek Dreyer and Viktor Vafeiadis on the ERC RustBelt project. Azalea will join the faculty at Imperial College London as a lecturer in 2020.