From 2b4504e25183ee64d9516814377d6af3ca9de830 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Mon, 14 Oct 2019 16:42:30 +0100 Subject: [PATCH] Update raad.md --- _people/raad.md | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/_people/raad.md b/_people/raad.md index 2111160..f8ee9b5 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 -- GitLab