معرفی
Majid Zamani is an Associate Professor in the Computer Science Department at the University of Colorado Boulder, and a Guest Professor at Ludwig Maximilian University of Munich. He previously held an Assistant Professor position at the Technical University of Munich (2014–2019), leading the Hybrid Control Systems Group. His expertise spans verification and control of cyber-physical systems, secure-by-construction synthesis, and compositional analysis of interconnected systems. He holds a PhD in Electrical Engineering from UCLA (2012) and additional degrees from Sharif University of Technology and Isfahan University of Technology.
Research Focus: Verification of safety properties, secure control synthesis, data-driven methods, and formal methods for stochastic systems. Notable contributions include barrier certificates, compositional verification, and abstraction-based control strategies. His work addresses challenges in autonomous systems, robotics, and safety-critical infrastructure.
Major Awards: Recipient of the 2023 George S. Axelby Outstanding Paper Award, 2022 NSF Career Award, and ERC Starting/Proof-of-Concept Grants (2018/2023). Active in technical leadership roles, including serving on the IEEE CSS Technical Committee.
Grants & Collaborations: Focused on NSF-funded projects exploring data-driven control and European initiatives in compositional system verification. His research bridges theoretical foundations with practical applications in robotics and autonomous systems.
