I am currently a Ph.D. candidate in Applied Mathematics—Systems and Control at University of Groningen. My research focuses on developing techniques for complexity reduction in verification and synthesis of linear control systems. Such techniques typically rely 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. The main topics that my current research is concerned with are modular verification (validation), compositional reasoning, contract theory, model order reduction, and hierarchical control. You may find more details on my research and publications here. 

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.