diff --git a/_people/raad.md b/_people/raad.md index c28bbd33acdb783897c9062573deb94c22c6bfd3..326d3bd0f1994b7aa3f0925158c7a66ebc2d5387 100644 --- a/_people/raad.md +++ b/_people/raad.md @@ -8,5 +8,7 @@ alumnus: true --- was a PhD student with the group, defending her thesis on [Abstraction, Refinement and Concurrent Reasoning]({{site.baseurl}}{% link publications/Raad2017Abstraction.html %}) in February 2017. -She then moved to the [Max Planck Institute for Software Systems (Kaiserslautern)](https://www.mpi-sws.org/) working a postdoctoral researcher with [Derek Dreyer](https://people.mpi-sws.org/~dreyer/) and [Viktor Vafeiadis](https://people.mpi-sws.org/~viktor/) -on the [ERC RustBelt project](http://plv.mpi-sws.org/rustbelt/. Azalea will join the faculty at Imperial College London as a lecturer in 2020. \ No newline at end of file +She then moved to the [Max Planck Institute for Software Systems (Kaiserslautern)](https://www.mpi-sws.org/) +working a postdoctoral researcher with [Derek Dreyer](https://people.mpi-sws.org/~dreyer/) and [Viktor Vafeiadis](https://people.mpi-sws.org/~viktor/) +on the [ERC RustBelt project](http://plv.mpi-sws.org/rustbelt/). Azalea will join the faculty +at Imperial College London as a lecturer in 2020. \ No newline at end of file