Abolfazl Lavaei, Prof. Dr.-Ing.

Abolfazl Lavaei 

Abolfazl Lavaei
Assistant Professor

School of Computing
Newcastle University

Office 5.026, Urban Sciences Building
Newcastle, NE4 5TG, United Kingdom

Phone:  +44 191 208 8789
Email:   abolfazl.lavaei@newcastle.ac.uk
Web:     www.lavaei-cps.de


Abolfazl Lavaei is an Assistant Professor in the School of Computing at Newcastle University in the UK. From January 2021 to July 2022, he was a Postdoctoral Associate in the Institute for Dynamic Systems and Control at ETH Zurich, working with Prof. Emilio Frazzoli on “Trustworthy Safety-Critical AI for Autonomous Vehicles”. He has also served as a Postdoctoral Researcher in the Department of Computer Science at Ludwig Maximilian University of Munich (LMU) from November 2019 to January 2021. He received the Ph.D. degree in Electrical Engineering (Hybrid Systems & Control) from the Technical University of Munich (TUM) under the supervision of Prof. Majid Zamani. He obtained the M.Sc. degree in Aerospace Engineering with a specialization in Dynamics and Control from the University of Tehran. He is an Associate Editor of the IFAC journal Nonlinear Analysis: Hybrid Systems (NAHS), and serves on the IEEE CSS Technology Conferences Editorial Board (TCEB). He is the recipient of several international awards in recognition of his work, including “Best Repeatability Prize (Finalist)” at the IFAC ADHS 2024 and IFAC ADHS 2021, “IFAC Young Author Award Finalist” at the IFAC LSS 2019, “Best Demo/Poster Award” at the ACM HSCC 2022 and ACM HSCC 2020, and “Best Graduate Student Award” at the University of Tehran with the full GPA (20/20). He is an IEEE Senior Member and a Fellow of the UK Higher Education Academy (FHEA) in recognition of Teaching Excellence. He is also an alumni scholar of Munich Aerospace Research Group as well as German Aerospace Center (DLR).

His line of research primarily focuses on theoretical and practical aspects of “formal verification, learning and control of large-scale stochastic cyber-physical systems” with application to autonomous systems. His research interests revolve around the intersection of Control Theory, Formal Methods in Computer Science, Data Science, and Artificial Intelligence.