Majid ZamaniÌýis an associate professor in the Department of Computer Science at the ÀÖ²¥´«Ã½ Boulder 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.Ìý