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

Update raad.md

parent 42bfb041
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 5 additions and 1 deletion
_people/raad.md
+ 5
− 1
View file @ 4e529756
...@@ -5,6 +5,10 @@ position: PhD Student ...@@ -5,6 +5,10 @@ position: PhD Student
webpage: http://www.doc.ic.ac.uk/~azalea/ webpage: http://www.doc.ic.ac.uk/~azalea/
email: azalea@imperial.ac.uk email: azalea@imperial.ac.uk
alumnus: true alumnus: true
projects:
--- ---
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
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