diff --git a/_people/raad.md b/_people/raad.md index 21111600523807c36e632e23dedb5e3fd83a2c33..f8ee9b55b1b3d2b09e3a593ca0aee297ff743745 100644 --- a/_people/raad.md +++ b/_people/raad.md @@ -2,14 +2,12 @@ firstname: Azalea lastname: Raad position: PhD Student -webpage: http://www.doc.ic.ac.uk/~azalea/ +webpage: http://www.soundandcomplete.org/ 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]({{site.baseurl}}{% link 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/), +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 was 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/). - +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