From 4e529756f4b8077fed0d1d649a230ba38ceeffb4 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 18 Jan 2018 11:49:09 +0000 Subject: [PATCH] Update raad.md --- _people/raad.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/_people/raad.md b/_people/raad.md index 1aa164e..8d98aef 100644 --- a/_people/raad.md +++ b/_people/raad.md @@ -5,6 +5,10 @@ position: PhD Student webpage: http://www.doc.ic.ac.uk/~azalea/ email: azalea@imperial.ac.uk alumnus: true -projects: --- +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 -- GitLab