Associate Professor of Computer Science
• Research Areas: Formal methods, verification & validation, testing, multi-agent systems, cyber-physical systems
USC
• Research Areas: Formal methods, verification & validation, testing, multi-agent systems, cyber-physical systems
USC