Commit 9e653dbb authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Update raad.md

parent cc6ea042
Pipeline #139380 passed with stages
in 4 minutes and 6 seconds
......@@ -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
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment