About me:

I am a PhD student and a research associate at the School of Computer Science of the University of Birmingham, under the supervision of Sergey Goncharov.

My research is about categorical modelling of operational semantics of programming languages. To be more precise, I am developing a categorical framework to reason on an infinite family of big-step operational semantics that is connected to the existing framework (HO-GSOS) for small-step operational semantics.

I started my PhD course in March 2024 at the The Chair of Theoretical Computer Science of the University of Erlangen-Nuremberg, and then I moved to UoB in February 2025, followed by Sergey's move.

Prior to that I finished my master's degree in computer science at The School of Mathematics, Statistics, and Computer Science of the University of Tehran.