I am currently a postdoctoral researcher in Applied Mathematics—Systems and Control at University of Groningen. My research focuses on contract theory, which offers an alternative methodology for verification and synthesis of control systems. Here, components are assigned with contracts that capture the essential (control) specifications on components and can be easily verified. Contract theory is equipped with compositional operations that allow one to reason about the type of global contracts that an interconnected system satisfies, solely on the basis of local contracts that its constituting components satisfy. It is also endowed with comparative operations that allow one to compare the strictness of different contracts. Such assets make contract theory modular as they allow one to abstract an interconnected system into an interconnection of local contracts and then conduct verification (synthesis) on the basis of these local contracts rather than components, which involves cheaper computations. 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. 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.