From 6778a79122824aa7ceb1f1401211ee5ca4b45ce7 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 18 Jan 2018 12:14:43 +0000 Subject: [PATCH] Update raad.md --- _people/raad.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/_people/raad.md b/_people/raad.md index 8d98aef..3c60c0b 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/). + -- GitLab