Verification and Synthesis of Autonomous Systems

Majid Zamani is an Associate Professor in the Computer Science Department at the University of Colorado Boulder. He previously served as an Assistant Professor in the Department of Electrical Engineering at the Technical University of Munich from May 2014 to January 2019, where he led the Hybrid Control Systems Group. Dr. Zamani earned his Ph.D. and M.A. in Mathematics from the University of California, Los Angeles (UCLA) in 2012, along with an M.Sc. in Electrical Engineering from Sharif University of Technology in 2007 and a B.Sc. in Electrical Engineering from Isfahan University of Technology in 2005.His research focuses on critical areas such as verification and control of cyber-physical systems, secure-by-construction synthesis, information-based control, and the compositional analysis and synthesis of interconnected systems. Dr. Zamani has received numerous accolades for his work, including the George S. Axelby Outstanding Paper Award from the IEEE Control Systems Society in 2023, the NSF CAREER Award in 2022, and grants from the European Research Council in both 2018 and 2023.At CU Boulder, he teaches courses such as "Modeling of Autonomous Systems," "Requirement Specifications for Autonomous Systems," and "Verification and Synthesis of Autonomous Systems." Through his teaching and research initiatives, Majid Zamani is dedicated to advancing knowledge in autonomous systems and control theory, preparing students for future challenges in these rapidly evolving fields.