Staff Profile
Dr Abolfazl Lavaei
Lecturer in Formal Methods
- Email: abolfazl.lavaei@ncl.ac.uk
- Telephone: +44 191 208 8789
- Personal Website: https://lavaei-cps.de/
- Address: School of Computing
Newcastle University
Office 5.026, Urban Sciences Building
Newcastle, NE4 5TG, United Kingdom
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.