Associate Professor of Electrical and Computer Engineering and Computer Science
• Research Areas: Design of cyber-physical systems and mixed-signal systems, automated formal methods, safe and dependable AI-enabled autonomous systems
USC
• Research Areas: Design of cyber-physical systems and mixed-signal systems, automated formal methods, safe and dependable AI-enabled autonomous systems
USC