Staff Profile

I am a Lecturer (Assistant Professor) in the School of Computing at Newcastle University in UK. Between January 2021 and July 2022, I was a Postdoctoral Associate in the Institute for Dynamic Systems and Control at ETH Zurich working with Prof. Emilio Frazzoli. I was also a Postdoctoral Researcher (Group Leader) in the Department of Computer Science at Ludwig Maximilian University of Munich (LMU) between November 2019 and January 2021. I received my Ph.D. degree in Electrical Engineering from the Technical University of Munich (TUM), in October 2019.

For more details, please visit my official website at www.lavaei-cps.de.

In the past few years, large-scale stochastic cyber-physical systems (CPS) have received remarkable attentions as a beneficial modeling framework describing a wide range of real-life safety-critical systems including automotive, robotics, transportation systems, energy, healthcare, critical infrastructures, and so on. Formal verification and policy synthesis for this type of complex systems to enforce high-level logic properties, e.g., those expressed as linear temporal logic (LTL) formulae, are inherently very challenging mainly due to (i) large dimension of state/input sets, (ii) stochastic nature of dynamics, (iii) tight interaction between physical and cyber components, (iv) dealing with complex logic requirements, and (v) lack of mathematical closed-form models in many real-world applications. My line of research mainly focuses on developing different compositional (AI-based) techniques to tackle the aforementioned difficulties and design highly-reliable CPS by bringing together interdisciplinary concepts from formal methods in computer science, control theory, data science and machine learning.

For more details, please visit my official website at www.lavaei-cps.de.