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 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 Flight Dynamics and Control from the University of Tehran. He is the recipient of several international awards recognizing his work, including “Best Demo/Poster Award” at the ACM HSCC 2022, “Best Repeatability Prize” at the IFAC ADHS 2021, “Best Demo/Poster Award” at the ACM HSCC 2020, “IFAC Young Author Award Finalist” at the IFAC LSS 2019, “Best Graduate Student Award” at the University of Tehran with the full GPA (20/20), and several prestigious Ph.D. scholarships from top-ranked universities. He is an alumni scholar of Munich Aerospace Research Group as well as German Aerospace Center (DLR). He is also an IEEE Senior Member.

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 Formal Methods in Computer Science, Control Theory, Artificial Intelligence and Data Science.