diff --git a/_people/raad.md b/_people/raad.md index 8d98aefe0a3c08fbc9b59cf308d0ded0048cf37a..3c60c0bc2a9699e60aceb5c9c19ae1f83f5ab1c9 100644 --- a/_people/raad.md +++ b/_people/raad.md @@ -11,4 +11,5 @@ Azalea Raad was a PhD student with the group, defending her thesis on [Abstraction, Refinement and Concurrent Reasoning](https://psvg.doc.ic.ac.uk/publications/Raad2017Abstraction.html) in February 2017. She is now a postdoctoral researcher at the [Max Planck Institute for Software Systems (Kaiserslautern)](https://www.mpi-sws.org/), working with [Derek Dreyer](https://people.mpi-sws.org/~dreyer/) and [Viktor Vafeiadis](https://people.mpi-sws.org/~viktor/) -and a member of the [ERC RustBelt project](http://plv.mpi-sws.org/rustbelt/). \ No newline at end of file +and a member of the [ERC RustBelt project](http://plv.mpi-sws.org/rustbelt/). +