I am a PhD Student in the School of Computing Science at University of Glasgow. I finished my BSc and MSc from Aalborg University in 2020, where I spent the last two years working on behaviopural types, in the Mungo research project.

I am now continuing my work on Mungo at the University of Glasgow under the supervision of Dr. Ornela Dardha and Prof. Dimitrios Pezaros.