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.
MSc in Computing Science, 2020
BSc in Computing Science, 2018