From 3c4c3be80a2cbde7af672ddf600794f726e9a94b Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 29 Apr 2020 11:58:49 +0100 Subject: [PATCH] Update raad.md --- _people/raad.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_people/raad.md b/_people/raad.md index 326d3bd..89c3046 100644 --- a/_people/raad.md +++ b/_people/raad.md @@ -10,5 +10,5 @@ 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 +on the [ERC RustBelt project](http://plv.mpi-sws.org/rustbelt/). In 2020 Azalea joined the faculty +at Imperial College London as a lecturer. \ No newline at end of file -- GitLab