I am currently a postdoctoral researcher in Applied Mathematics—Systems and Control—at University of Groningen. My research focuses on formal methods in control theory, with a particular emphasis on complexity reduction in verification and synthesis of control systems subject to signal temporal logic specifications. I develop computational techniques for abstracting system behaviour in time and/or state space that enable specifications on a system to be translated into specifications on its abstraction. This allows for the characterisation of complex verification and synthesis problems in terms of more tractable ones. Such abstraction techniques therefore induce hierarchical schemes that efficiently provide formal guarantees for verification and control synthesis. My work also explores design schemes that facilitate (signal) temporal logic control by efficiently translating high-level logical requirements into low-level system objectives. These schemes thereby provide a unified synthesis framework that addresses high-level logical and low-level system specifications simultaneously, rather than treating them separately. You may find more details on my research and publications here. 

I received my Ph.D. degree in Applied Mathematics—Systems and Control—from University of Groningen, in 2025. My Ph.D. thesis. entitled “Complexity Reduction in Verification and Synthesis of Linear Control Systems: An Abstraction-based Approach,” focused on developing techniques for complexity reduction in verification and synthesis of linear control systems. Such techniques relied on notions of system comparison that measure behavioural similarity of dynamical systems to somehow abstract high-dimensional systems into low-dimensional specifications that capture their input-output behaviour. Such abstractions then enable the mobilisation of hierarchical/modular schemes for specification verification and control synthesis.

I received both my B.Sc. and M.Sc. degrees in Electrical Engineering—Systems and Control— from University of Tehran, in 2017 and 2020, respectively. My B.Sc. thesis, entitled “Mathematical Modeling of Cancerous Tumors with an Emphasis on Tissue Mechanics and Cell Heterogeneity,” focused on developing an agent-based hybrid model of cancerous tumor growth. My M.Sc. thesis, entitled “Analysis and Investigation of Approximation Techniques for the Solution of Nonlinear Regulator Equations,” dealt with proposing a successive pseudo-spectral-based approximation technique so as to obtain the approximate solution of zero-error constrained manifolds for the Output Regulation Problem. You may find more details on my academic background here. 

Science, however, is not my only passion. I am also a jazz enthusiast who basically enjoys every jazzy sound, from Artie Shaw's clarinet and Duke Ellington's piano to Miles Davis’ trumpet and Alice Coltrane's harp. I also have a great deal of interest in classical, (psychedelic) rock, and electronic music. You may check out my playlists on Spotify here.  Besides music, I am passionate about cinema, literature, and the gym. 

‍ ‍