Abolfazl Lavaei Email Website Biography Abolfazl Lavaei (M’17–SM’22) 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. His line of research focuses mainly on theoretical and practical aspects of formal verification, learning and control of large-scale stochastic cyber-physical systems with application to autonomous systems. He is the recipient of several international awards in the acknowledgment of his work including ADHS Best Repeatability Prize 2021, HSCC Best Demo/Poster Awards 2020 and 2022, IFAC Young Author Award Finalist 2019, Best Graduate Student Award 2014 at University of Tehran with the full GPA (20/20), and several prestigious Ph.D. scholarships from top-ranked universities. He is an IEEE Senior Member. Position(s) & Affiliation(s) Newcastle University United Kingdom