Abolfazl Lavaei, Dr.-Ing.
 

Abolfazl Lavaei 

Abolfazl Lavaei
Postdoctoral Associate

Institute for Dynamic Systems and Control
ETH Zurich

ML K 35
Sonneggstrasse 3
8092 Zurich, Switzerland

Tel:  +41 44 633 84 64
Fax: +41 44 632 11 39

Email:   alavaei@ethz.ch
Web:     www.lavaei.de


Biography

Abolfazl Lavaei is a Postdoctoral Associate in the Institute for Dynamic Systems and Control at the ETH Zurich working with Prof. Emilio Frazzoli. Between November 2019 and December 2020, he was a Postdoctoral Researcher (Group Leader) in the Department of Computer Science at the Ludwig Maximilian University of Munich (LMU). He received the Ph.D. degree in Electrical Engineering from the Technical University of Munich (TUM), in 2019. He obtained the M.Sc. degree in Aerospace Engineering with specialization in Flight Dynamics and Control from the University of Tehran (UT). He is the recipient of several international awards 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 different top-ranked universities. He is an alumni scholar of Munich Aerospace Research Group as well as German Aerospace Center (DLR).

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 Control Theory, Computer Science, Machine Learning, Artificial Intelligence, and Data Science.

News

  • May 2022: The paper “From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems” has been accepted at IEEE Transactions on Automatic Control.

  • May 2022: I will chair the session “Stochastic Systems” in virtual American Control Conference (ACC 2022).

  • May 2022: I will co-chair the session “Hybrid Systems” in virtual American Control Conference (ACC 2022).

  • May 2022: The paper “Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees” has received “Best Demo/Poster Award” at 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2022).

  • April 2022: The paper “Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach” has been conditionally accepted at IEEE Transactions on Control of Network Systems.

  • March 2022: I have been appointed as an Associate Editor for “4th IFAC Workshop on Cyber-Physical & Human Systems (CPHS 2022)”.

  • March 2022: The paper “From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems” has been accepted as a full paper at IEEE Transactions on Automatic Control.

  • February 2022: I will serve as a member of the Technical Program Committee for “Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCP)” at the CPS-IoT Week 2022.

  • February 2022: The paper “Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs” has been accepted at IEEE Transactions on Control of Network Systems.

  • January 2022: Two papers “Compositional Synthesis of Safety Controllers for Interconnected Stochastic Systems with Markovian Switching” and “Safety Barrier Certificates for Stochastic Hybrid Systems” have been accepted at American Control Conference (ACC 2022).

  • November 2021: I will serve as a member of the Technical Program Committee for “Posters and Demo Sessions of 13th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2022)”.

  • October 2021: The paper “Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems” has been accepted at Nonlinear Analysis: Hybrid Systems (Special Issue on Security, Privacy and Safety of Cyber-Physical Systems).

  • July 2021: I have been appointed as an Associate Editor for “European Control Conference (ECC 2022)”.

  • February 2021: I will serve as a member of the Technical Program Committee for “Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCP)” at the CPS-IoT Week 2021.