BiographyAbolfazl Lavaei is an Assistant Professor in the School of Computing at Newcastle University in UK. Between January 2021 and 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 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. He received the Ph.D. degree in Electrical Engineering from the Technical University of Munich (TUM), in October 2019. He obtained the M.Sc. degree in Aerospace Engineering with specialization in Flight Dynamics and Control from the University of Tehran. He is the recipient of several international awards in the acknowledgment of 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 mainly 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. News
|