raad.md 751 Bytes
Newer Older
pmaksimo's avatar
pmaksimo committed
1
2
3
4
---
firstname: Azalea
lastname: Raad
position: PhD Student
Teresa Carbajo-Garcia's avatar
Teresa Carbajo-Garcia committed
5
webpage: http://www.soundandcomplete.org/
pmaksimo's avatar
pmaksimo committed
6
email: azalea@imperial.ac.uk
Shale XIONG's avatar
Shale XIONG committed
7
alumnus: true
pmaksimo's avatar
pmaksimo committed
8
9
---

Teresa Carbajo-Garcia's avatar
Teresa Carbajo-Garcia committed
10
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.
Teresa Carbajo-Garcia's avatar
Teresa Carbajo-Garcia committed
11
12
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/)
Teresa Carbajo-Garcia's avatar
Teresa Carbajo-Garcia committed
13
14
on the [ERC RustBelt project](http://plv.mpi-sws.org/rustbelt/). In 2020 Azalea joined the faculty 
at Imperial College London as a lecturer.