I am a PhD student at the University of Glasgow in the process of writing up my thesis. My work focuses on compilers and programming models for heterogeneous architectures. I am particularly interested in spatial dataflow architectures (e.g., FPGAs, CGRAs), and High-Level Synthesis. At the moment, I am working on a compiler from sequential control flow to guarded atomic actions (bluespec) in MLIR.