I’m a PhD student at Imperial College London supervised by Alastair Donaldson. I study testing and modeling of many-core systems, with an emphasis on fine-grained communication idioms.