From 9e653dbb0d1f657754630852e611312a7db92801 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 12 Mar 2020 12:54:45 +0000 Subject: [PATCH] Update raad.md --- _people/raad.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/_people/raad.md b/_people/raad.md index c28bbd3..326d3bd 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 -- GitLab