Skip to content
Snippets Groups Projects
Commit f965f81a authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update raad.md

parent 3c4c3be8
No related branches found
No related tags found
No related merge requests found
...@@ -7,7 +7,7 @@ email: azalea@imperial.ac.uk ...@@ -7,7 +7,7 @@ email: azalea@imperial.ac.uk
alumnus: true 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. Azalea 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/) 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/) 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/). In 2020 Azalea joined the faculty on the [ERC RustBelt project](http://plv.mpi-sws.org/rustbelt/). In 2020 Azalea joined the faculty
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment