Published: Feb. 16, 2023

Majid ZamaniÌýis an associate professor in the Department of Computer Science at the Â鶹ÊÓƵ and leads the Hybrid Control Systems Lab. His research interests include verification and control of cyber-physical systems, hybrid systems, embedded control software synthesis, networked control systemsÌýand incremental properties of nonlinear control systems. His work helps protect human life throughÌýsafer autonomous systems.Ìý