Majid Zamani

Majid Zamani is an Associate Professor in the Computer Science Department at the University of Colorado Boulder, and a Guest Professor at the Computer Science Department of Ludwig Maximilian University of Munich. He leads the Hybrid Control Systems Lab and previously held an Assistant Professor position (W2 grade) in Electrical Engineering at the Technical University of Munich (2014-2019). His work focuses on verification and control of cyber-physical systems, hybrid systems, and secure-by-construction synthesis.

Education:

• Ph.D. and MA in Mathematics, University of California, Los Angeles (2012)
• M.Sc. in Electrical Engineering, Sharif University of Technology (2007)
• B.Sc. in Electrical Engineering, Isfahan University of Technology (2005)

Research Interests:

• Verification and control of cyber-physical systems
• Secure-by-construction synthesis
• Information-based control
• Compositional analysis of interconnected systems
• Stochastic and nonlinear control systems

Recent Articles Trends: Recent works emphasize barrier certificates for safety verification, data-driven control methods, and compositional synthesis for large-scale systems. Key themes include formal guarantees for safety, privacy (opacity), and secure design in stochastic and cyber-physical contexts.

Awards:

• NSF Career Award (2022)
• ERC Starting Grant (2018)
• ERC Proof of Concept Grant (2023)
• George S. Axelby Outstanding Paper Award (2023)

Grants and Labs: Active grants include NSF Career and ERC awards. The Hybrid Control Systems Lab investigates topics such as neural barrier certificates, compositional control, and sandboxing AI controllers for safety-critical systems.